
Let b(j) = -15*j + 1. Let x(s) = 47*s - 2. Let r(d) = 4*b(d) + x(d). Suppose 20 + 10 = -5*v - 5*a, 13 = -3*v - 2*a. Let k be r(v). Is k greater than 14?
True
Let k be -6*(-3)/(9/2). Suppose -k*h = -0 - 4. Let q = -12352/200105 - 18/6455. Is h greater than q?
True
Let l be (1115/(-25))/(7/(-35)). Suppose 5*h + 3*y + 559 = 0, 11*h - l = 13*h + y. Is h greater than or equal to -109?
False
Let b = 75465002/4875 - 15480. Which is greater: b or 1?
1
Let m = -84.112 - -0.112. Let s = -0.14301 - 84.12699. Let t = s - m. Which is greater: -3 or t?
t
Let b(d) = d**3 + 4*d**2 + 5*d + 5. Let k be 2*(-12)/(-8)*-1. Let x be b(k). Let p be ((-2)/(-12))/(7/7). Is x less than or equal to p?
True
Let x be 20*(-1 + (-9 - -4)). Let h = 120 + x. Which is greater: -3/26 or h?
h
Suppose -6*n - 32 = -14*n. Suppose 4*l = 2*a - n*a + 2490, -1235 = -2*l - 3*a. Let q = l - 5647/9. Is q at least -3?
True
Let r be 1*(2/15)/(-1). Let k = 4415.39 + -4401.39. Which is greater: k or r?
k
Suppose -x + a + 13 = 0, -x + 19 = 23*a - 26*a. Let i(l) = -l - 7. Let r be i(-12). Which is greater: r or x?
x
Let c = 168 - 164. Suppose -2*i + 210 = -2*w, 24*i - 25*i = c*w - 125. Is 107 < i?
True
Let n = 198396.1 - 198396. Let a = -92 - -35. Is a less than or equal to n?
True
Suppose -7*q + 7163 = -19*q - 8953. Is q > -1343?
False
Suppose 19*d + 231 = -187*d - 25*d. Which is smaller: d or -116/67?
-116/67
Let r(h) = -h**3 + 8*h**2 - 9*h + 14. Let w be (-2)/(-13) + 2980/65. Let l = w + -39. Let b be r(l). Which is smaller: b or -8?
-8
Suppose -90*z - 1152 = -82*z. Is z not equal to -149?
True
Let r = -18.0124 + -0.9876. Is -3/52 at most as big as r?
False
Let c = 305 + -39. Let r = c - 129. Let d = r - 120. Which is smaller: d or -1/3?
-1/3
Let i(r) = -13*r - 54. Let q be i(-5). Suppose -9*z = -q*z. Is -11/14 > z?
False
Suppose n + 3*u = -0*u - 58, u + 96 = -2*n. Let k = 36 + n. Let p be ((-3)/(-19))/(25/k - -4). Which is smaller: 4 or p?
p
Let f be (-1 - -1)/(3 + -4). Let v(s) = -s**2 - 14*s + 34. Let w be v(-16). Let d be (-1*w/(-8))/(63/(-72)). Which is greater: f or d?
f
Let v be (1 + 55/(-18))*-3. Let k be 16/12*-3*(-579)/386. Which is bigger: v or k?
v
Let b = -508496/19 - -26752. Is -10 not equal to b?
True
Let c = -1874 + 1873.761. Is 2/3 smaller than c?
False
Let z be 12/(1/3 + 14/21). Suppose 1016 = -20*y + z*y. Is -126 bigger than y?
True
Let d be ((-3021)/(-76))/((-33)/88). Is d not equal to -1160/11?
True
Let k be (-45)/(-49)*98/28. Suppose -28*n + 32 - 7 + 31 = 0. Is n at most k?
True
Suppose 3*x - 2589 = -3*z, 5*x - 48*z = -44*z + 4333. Is x < 867?
True
Suppose 11815 = 26*i - 111*i. Which is smaller: -702/5 or i?
-702/5
Suppose 5*b - 264 = 4*r, 5*b - 9*b - r = -207. Let w = -79 + b. Which is greater: w or -28?
w
Let l be 2/(5/(20/(-7864))). Let b be (-19655)/4915 + (-4)/14. Let m = l + b. Are -3 and m unequal?
True
Suppose 5*i - 2*f = 2083, 0 = 20*f - 17*f + 27. Is i greater than or equal to 389?
True
Let f = -8323 - 2065. Is -10389 at least f?
False
Let k be (4 - 3479/84) + 5/5. Do -37 and k have different values?
True
Suppose 3*b + 25 = -3*s - 32, -78 = 4*s + 3*b. Let r = 7 + -2. Suppose -16 = -4*w, 0*i - r*w = i + 1. Is i >= s?
True
Let j(t) = 2*t**2 + 5*t + 5. Let h be j(-3). Let r = 8 - h. Suppose -4*c + 4 = 3*k - 2, -2 = c - k. Is r <= c?
True
Let z = -2/1697 + 35645/6788. Let y(s) = s**2 + s. Let r(p) = p + 7. Let g be r(-5). Let b be y(g). Which is greater: b or z?
b
Let l be (0 - 0) + (5 - 2). Let t be 1/14 + l/2. Suppose -3*x = 5*r - 2*x - 7, 2*r + 5*x - 12 = 0. Is r > t?
False
Let w(n) = -7*n - 15. Let f be w(-6). Let c = f + -26. Let t be 1/(-3 + 6 + (-1 - c)). Which is greater: t or 9/11?
t
Let j(q) = 7*q**2 + 2*q - 1. Let u be j(1). Let d be (2*1)/((1426/93)/23). Is d greater than or equal to u?
False
Suppose -1293 = 2*p - 3*p - 3*m, -9*p - 3*m + 11661 = 0. Is 1296 greater than or equal to p?
True
Let d = -151 - -165. Let n be 2*3/9*6. Let v be -28*(-1 - (-2)/n). Is d >= v?
True
Suppose 0 = -6*l + 4 - 34. Let a = -88 + 61. Let z = 25 + a. Which is bigger: l or z?
z
Suppose r + 9*r = 0. Let n(f) = f**3 - 2*f**2 - f + 55. Let u be n(r). Is u at most 55?
True
Suppose q - 6*q - 3*x = -1225, 2*q = 2*x + 474. Let h = q - 218. Is h at least as big as 23?
True
Let m be ((-1)/(-2))/(1/29)*-4. Let u = 108 - 165. Is m equal to u?
False
Let w be (744/44)/(104/1716). Is w at most 328?
True
Let n be (-41)/45 + 1900/2375. Let k = -3/106 + -243/2650. Which is smaller: n or k?
k
Suppose 17*o = 13*o + 8. Suppose 3*v = -x + 6*x - o, 5*v + x = 6. Is -2/51 > v?
False
Suppose 3*i + 4437 = 5*q, -3*q + 5*i + 2635 = 10*i. Which is smaller: q or -2/9?
-2/9
Let d be (4/(-6))/(((-1755)/(-7614))/(-65)). Is -33 smaller than d?
True
Let b(u) = -u**3 - 6*u**2 - 3*u + 5. Suppose c - 7 = -3. Suppose -i - c = a + 5, -4 = i. Let o be b(a). Is o equal to -0.2?
False
Let r = 105.94761 - 0.14761. Is r smaller than -4?
False
Let i(c) = 3*c**2 + 30*c + 23. Let g be i(-9). Let x(w) = -w**3 - 11*w**2 - 10*w - 9. Let k be x(g). Which is bigger: k or -80?
-80
Let h be (10/(-6) + 1)*3. Let w = 13 - 65. Let y be (h - -3) + ((-36)/w)/(-1). Which is greater: 0 or y?
y
Let l = -31 - -34. Suppose -q + l*q = 0. Suppose 4*y - 3*b - 1 = 0, 2*y - 4*y + b + 1 = q. Is y > 0?
True
Suppose 9 = -4*w - 11, 3*z - 1340 = -5*w. Is 452 bigger than z?
False
Let u = -41 - 30. Let m(v) = -485*v + 21337. Let r be m(44). Which is greater: u or r?
r
Let p = -1.0905 + 0.0905. Which is smaller: p or 0.0653?
p
Let o = 728 + -621. Suppose 107 - o = -10*g. Which is bigger: -2/1411 or g?
g
Let t be (-2 - -1)/(-2) - (-12)/8. Suppose i = -t*c - 63, -c + 150 = -2*i + 3*c. Which is bigger: i or -71?
i
Let y(w) = 3*w**2 + 5*w + 1. Suppose -33*g = -35*g - 6. Let l be y(g). Which is bigger: l or 9?
l
Let q(i) be the second derivative of -3*i**3/2 - 7*i**2/2 + 59*i. Let l be q(0). Are l and 9 nonequal?
True
Let z be 4/22*((-608)/1056)/(-19). Is -5 < z?
True
Let r = -0.2923 - -0.1923. Which is bigger: 2.55 or r?
2.55
Let l = -32144 - -24854. Which is bigger: -7289 or l?
-7289
Let w be ((-5)/4)/(((-4)/(-1))/(-16)). Suppose -t = w*j + 17, t + 3*t + 8 = 0. Let m be (1/(j/(-3)))/(-1)*-4. Is 0 smaller than m?
True
Suppose -15*f + 11*f + 37920 = 0. Suppose 0 = 12*n + 8*n - f. Is 475 greater than or equal to n?
True
Let x be (1485/(-126) - -12) + 1/(-2). Which is smaller: x or -0.0003?
x
Let f be (-4 - (-1 - 1)) + 2. Let i be 10*(-23)/(-1955) - (-11)/(15334/516). Which is bigger: i or f?
i
Let w = -3267 - -3414. Do w and -0.7 have different values?
True
Let d = 328 - 76. Suppose -a = -4*a - d. Let y be 2 + -6 - (-5)/((-50)/a). Is 0.1 > y?
False
Suppose -10*w - 2380 + 2730 = 0. Are 39 and w non-equal?
True
Let d(s) = s**2 + 285*s + 1120. Let n be d(-4). Is -1/82 at least as big as n?
True
Let p = 380 - 386. Is p < 48?
True
Suppose 0 = w - 5*m + 405, -42*w = -44*w - 5*m - 885. Is -432 not equal to w?
True
Let r be 4/6 + 5/(-3). Let o be ((10 + -16)/(-330))/(30/(-50)). Which is smaller: o or r?
r
Let p be (-15746)/286 - -1 - (1 + 0). Let y = 503/13 + p. Are y and -16 equal?
False
Suppose 4*o + 330 = 5*t, 2*t - 433 = 5*o + 6*t. Let w be ((-2970)/1428)/11 - 10/o. Which is smaller: 0 or w?
w
Suppose 5*a + 17401 = -i, -5*i - 4462 = 2*a + 2526. Is a >= -6959/2?
True
Suppose -5 + 1 = -g, -5*k + 421 = 4*g. Suppose 3*f = -2*t + k, 118 = 3*f + 4*t + 31. Let i be (-11)/35 + ((-45)/f)/(-3). Which is bigger: -1/2 or i?
i
Let d = 886596115/11777 - 75282. Let g = d + -82709/3179790. Let p = 11/1890 - g. Which is bigger: 0 or p?
p
Let r = 2065944/407 - 5076. Which is smaller: -2 or r?
-2
Let l be 1/(96/79105) + -6 + 2. Let n = l + -820. Which is smaller: 0 or n?
0
Let i be 34246/14 + 76/(-532). Is i at most as big as 2450?
True
Let p = 5/12 + -2/3. Let i = 67.34 - 57.34. Is p bigger than i?
False
Let p be (-58)/(-435) + (-366)/45. Let h(x) = x**2 + 4*x - 1. Let y be h(-6). Let q = 4 - y. Is q at most p?
False
Let u(c) = 24*c**3 - c**2 - 9*c - 9. Let n be u(-1). Let f be 1/18*(-83 - n). Which is smaller: f or -2?
f
Let w(g) = 53*g**2 + 8*g + 10. Let d be w(-1). Let u = -173 - -230. Is u != d?
True
Let w = -3.43 + -110.27. Let f = -82.3 + w. Is f at least -1/3?
False
Suppose 2*z + 55 - 4 = d, -3*z - 103 = -2*d. Let a(s) = s**3 + s**2 - 8*s + 6. Let t be 12/(-21) + (-