
Let c(g) = g**2 + 140*g - 1476. Let d be c(10). Which is bigger: d or 39?
39
Let c be (-2)/(-22) - (-5664)/1947. Which is smaller: 164/47 or c?
c
Let k(v) = -3*v**2 - 4*v + 206. Let y be k(-9). Let w be 112*-15*4/16. Let d be (-4)/10 + 7/w. Which is smaller: d or y?
y
Let l(i) be the first derivative of i**4/4 + 10*i**3 - 37*i**2/2 - 63*i + 259. Let r be l(-31). Which is smaller: 124 or r?
r
Let w(l) = -4*l - 7*l - 247 + 0*l**2 + 220 - l**2. Let k be w(-7). Which is smaller: k or 8/13?
8/13
Let y be 2/(-6)*(-9)/(-251). Let o = 1503280 - 1503280. Which is greater: y or o?
o
Let d = 9200.56 + -9201. Is d at most as big as 21?
True
Let l = 409/19648 + 8/307. Let i = 0.1543 - 0.0543. Which is smaller: i or l?
l
Suppose 0 = -2*r - 4*j + 10, -r + 26*j + 11 = 31*j. Which is greater: 208/137 or r?
208/137
Let i = -9 - -9. Let c be (i + (-5)/(-10))*30. Suppose v - 35 + c = 0. Is 19 not equal to v?
True
Let o = -3 - -13. Suppose 2*l - 4*z - o = 0, 0*l = -2*l - z. Let a = 113200 + -113200. Which is bigger: a or l?
l
Suppose 75*v + 33 = 108. Let u = -14/31 + 521/1085. Which is bigger: v or u?
v
Let s = 464 + -463. Let k = -451 - -445. Is s smaller than k?
False
Let g(l) = -l**3 - 9*l**2 + 38*l + 8. Let z be g(-12). Let d be 6/z - (-25)/40. Which is greater: 58 or d?
58
Let x be -1094*((-945)/(-10))/(-21). Which is greater: x or 4925?
4925
Let i(j) = 211*j - 810. Let w be i(4). Is -6 bigger than w?
False
Let k be ((-50314)/77022)/(-47 + 0). Let q = -1/3501 - k. Is q smaller than -0.2?
False
Let v(n) = -15*n**2 + 2*n + 1. Let s be v(-1). Let g be (18/24)/((-6)/s). Suppose g*q - 3*q = -2*q. Which is smaller: 6/17 or q?
q
Let j(w) = -20033*w**2 - 76*w + 74. Let k be j(1). Is -20036 smaller than k?
True
Suppose -13*t + 2636 + 1682 = -2819. Let d be (((-15344)/(-21))/8)/((-1)/(-6)). Is d bigger than t?
False
Let y(v) = v**2 + v. Let b be y(-1). Let s = 19/12012 - 41/6006. Which is greater: s or b?
b
Let w = 3437263/186 - 18480. Let k = -58055/31 + 1873. Let q = k + w. Which is smaller: q or -4?
-4
Suppose -9*a - 210 = 5*a. Suppose -w = -51 + 39. Let o = w + a. Is -2/13 at least o?
True
Let w = -6957.09 - -6989. Let o = -32 + w. Let m = -0.29 - o. Does -14 = m?
False
Let w(o) = -79*o - 6. Let i(h) = -78*h - 7. Let x(m) = -4*i(m) + 6*w(m). Let u be x(-5). Let y = -29672/37 + u. Which is smaller: 0 or y?
0
Let o = -17441.2 + 17441. Let z be 16/6*6/34. Which is smaller: o or z?
o
Let y = 70 - 72. Let z be (-1)/y*6 + 60/(-21). Let i = -5/14 - z. Which is greater: -6 or i?
i
Let l be (-199)/46*95/15. Let s = 82/3 + l. Let k(r) = r**3 - 130*r**2 + 503*r + 126. Let m be k(126). Does m = s?
False
Let l = -4121 + 4161. Is l < -13?
False
Let w = -94 - -35. Let z = 54 + w. Is z at most -3?
True
Suppose 0*s = -5*s + 25. Suppose s*g + 28 = 48. Suppose 5*t + g*b = 72, -2*t + t - b = -14. Which is smaller: t or 19?
t
Let b be ((-4152)/(-32))/(6/(-432)*-4). Which is smaller: 2335 or b?
2335
Let w(g) = -g**2 + 8*g + 5. Let t be 666/81 - 4/18. Let k be w(t). Suppose -5*j + 84 = 3*h + 94, 5*h + 3*j + 6 = 0. Which is greater: h or k?
k
Let t = -494.4 - -491.4. Which is smaller: t or -468?
-468
Let v = -522 - -1573/3. Which is bigger: v or -0.11?
v
Let r = -1017 - -1016.589. Let z = r - -16.411. Which is smaller: z or -1/2?
-1/2
Let m be 1 + 217/(-56) + (-2)/16. Let t be ((-5)/(-3))/((-2)/6). Is m smaller than t?
False
Suppose 2206 = -2*y + 2224, 4*y = j + 37. Let o = -1565017/3252 + 1925/4. Is j less than o?
True
Let m be 7373/304 + (-15 + 2)/(-208). Which is smaller: m or 24?
24
Let c(h) = -4*h**2 - 6*h + 4. Let n be c(-5). Let t be (140/n - -2)*(-9)/6. Let o be 18/45 + (-4)/10. Is o less than or equal to t?
True
Let a be (1 + 1)/((-4)/(-26)). Let l = a + -12. Let v be (-41 + 45 - (-24)/(-5))/(3730/(-25)). Which is greater: l or v?
l
Suppose 3*i - 2 = 4*i, -5*i = y + 16. Let z = y - -26. Suppose -95 = -8*x + 3*x. Do x and z have different values?
True
Suppose 2863 - 15238 = 165*g. Which is bigger: -221/3 or g?
-221/3
Let y(b) = -2286*b - 29819. Let w be y(-13). Let l be -4*(-2 - -27)*1. Is l >= w?
True
Let w = 5513 - 5512.9. Is w less than or equal to -156/29?
False
Let r be ((-9432)/546)/3 + (13 - 7). Are 1 and r nonequal?
True
Suppose v = 3 - 1. Let m be 84/(-189) - 80/(-18). Suppose v*c = 6 - m. Is -4/23 at least as big as c?
False
Suppose -129*m - 50 = -131*m. Let j = m - 24. Which is greater: -4/85 or j?
j
Suppose -13*s + 215 = -1995. Suppose 2*h - 344 = -2*f, -4*f + 2*h + 848 = 178. Which is greater: s or f?
s
Let q = -146.5 - -150. Let m = -23.5 - -13. Let v = q + m. Which is smaller: 0.1 or v?
v
Let d(b) = -b**3 + 12*b**2 - 14*b + 27. Let f be d(11). Let p be (6/(-4))/(-1*(-3)/f). Is p equal to 26/9?
False
Let v = 11.32 - 2.62. Let h = 0.7 - v. Which is smaller: -1.3 or h?
h
Suppose -13 = 4*f - 1, -3 = 3*r - 2*f. Let v be (1 - (-5 + 4)) + r. Let l be ((-107)/(-33) - 3)/((-8)/12). Is v bigger than l?
False
Let p = 37227/2 + -18238. Which is smaller: 375 or p?
375
Suppose 0 = 5*o - 2*o - 4*a + 3, 4*o = 5*a - 4. Is o greater than or equal to -2/5625?
False
Suppose -6*i + 13782 + 240 = 0. Is 2338 <= i?
False
Let v = 1812 + -346093/191. Let o = v - 952/573. Which is bigger: o or -1?
-1
Suppose 5*j - 790 = 5*l - 0*l, 4*l - j = -641. Let t = -181 - l. Which is smaller: t or -18?
t
Let l(k) = 142*k - 1846. Let v be l(13). Which is greater: -1/1358 or v?
v
Suppose 0 = 3*a - 2*a - 4*b - 28, 3*b = -a + 63. Let y = 85 - a. Let q = y + -38. Is q greater than or equal to -0.32?
False
Let w(x) be the first derivative of -x**4/4 - 4*x**3/3 - x**2 + 15*x - 43. Let r be w(-5). Let c be -5 + r/5 + 2 + -6. Which is smaller: -1/4 or c?
-1/4
Let f = 1525 + -835. Let i be (-7 + 12 - 6)/f. Is i at least 1?
False
Suppose 270*j + 580 = 275*j + 5*i, -i + 580 = 5*j. Are j and 109 nonequal?
True
Let g = -16.4 - -11.4. Let y = 2 + 0. Let u = g + y. Which is smaller: 2 or u?
u
Let f be ((-16)/(-9) - 2)/(-43). Suppose 1329*m = 1325*m - 4. Which is smaller: f or m?
m
Let m(y) = y**3 - 13*y**2 + 29*y + 13. Let s be m(10). Suppose 3*t - 19 = s*i + 89, 40 = t + i. Which is greater: 33 or t?
t
Let a be (9 + 621/(-92))*140/36. Let h be (-1)/((-1)/(-10)*-1). Is h at most as big as a?
False
Let g be 333/(-2) + (-36)/24. Let n = g - -129. Suppose 68 - 191 = 3*y. Which is smaller: n or y?
y
Let z = -6.2 + -31.8. Let u = 37 + z. Let m be ((0 + -2 - -2)/(-1))/1. Is m greater than or equal to u?
True
Let w(o) = 1311*o**3 - 49*o**2 + 58*o - 8. Let y be w(1). Is 1302 bigger than y?
False
Let v = -610 - -609. Let z(s) = -142*s**3 - s**2 + 5*s + 6. Let u be z(v). Which is greater: 141 or u?
u
Suppose -19 = -4*h - 5*x, -2*h + 2 = 3*x - 7. Let b be (-2)/(-5)*5 - (h - 3). Let n(q) = 2*q**3 + 3*q + 3. Let v be n(b). Which is smaller: -3/4 or v?
v
Let d be (-1 - 68)/((-2667)/424942). Is 10994 greater than or equal to d?
True
Let c = -184 - -184. Suppose c = s + 45 - 21. Is -24 < s?
False
Suppose 3*d - 10 = d. Suppose -4 = 3*a - d*w, 4*a = 2*w + 3 + 1. Is a smaller than -4?
False
Let f be (-1 - 5/(-2))/(15/220). Suppose -2 = l, -4*d + f = -6*d - 3*l. Let m be (-14)/(-42) - d/(-6). Which is smaller: 1/5 or m?
m
Suppose -5*a = -4 - 6. Let z = 444/533 + 10/41. Which is smaller: a or z?
z
Let n be (1/(-6))/(35735/210). Which is smaller: n or 0?
n
Suppose o = 4*j - 2563, -3*o - 2548 = -4*j + o. Let m be (-8)/(-16) + (-315)/j. Let x = 441/1391 - m. Are x and -1 nonequal?
True
Let p = -1 - 0. Let i = 40251/304469 + 9/3421. Which is greater: p or i?
i
Let d be 3/(-2) - (3/3)/(-2). Let f = 125/11 + -2911/231. Which is smaller: f or d?
f
Suppose -7*z - 26 = -5. Let v be (-15)/(-10)*(-115 + z). Which is bigger: -176 or v?
-176
Suppose -3*f + f = 3*x + 1, -15 = 3*f. Let q be (x - 1) + -12 + 7. Let z be 2 + 376/(-96) - 2/(-12). Which is greater: q or z?
z
Suppose -2*x - 49*b + 46*b + 58 = 0, 3*b = -4*x + 128. Which is smaller: -33 or x?
-33
Let w be ((-19)/3*-9)/((-27)/(-18)). Let b = -105 + 144. Which is greater: b or w?
b
Let c be 2 - (1 - 3/(-3)). Let y be -1 + 4 + 0/3. Let h be (c - 0)*y/(-2 - 4). Which is greater: h or -6?
h
Let y = -93.008 + 0.008. Let m = y + 94. Let g = -0.17 + -0.19. Is g != m?
True
Suppose 121 = -28*p + 39*p. Let c be (3 - 1) + (-33)/p. Which is smaller: c or -2/83?
c
Suppose 0 = -3*w + 8*q - 9*q + 615, 0 =