) - -2)/(6/12). Let v be 170/10 - (i + 4). Which is greater: v or u?
v
Let i = 300/73 + -203846/49567. Which is smaller: i or 0.1?
i
Let h = 4.38 + -252.38. Let d = 145 + h. Is -2/5 equal to d?
False
Let p be 0 + 855/(-145) + ((-8)/(-2) - 0). Is p less than -2?
False
Suppose 6*c + 99 - 105 = 0. Let t(p) = -p**3 + 9*p**2 + 10*p + 9. Let w(n) = -12*n - 2. Let o be w(-1). Let v be t(o). Which is greater: c or v?
v
Suppose 2*u + 5 + 7 = 3*y, 2*u - 16 = -4*y. Let w = 178 - y. Suppose w = 3*m - 0. Is 59 smaller than m?
False
Let o be (-28)/(-84) - (-202)/(-498). Which is smaller: o or -1?
-1
Let w be (-12)/2*8/(-6 + 22)*263. Is -789 >= w?
True
Let u be ((-23044)/(-294))/((-16)/(-3) + -3 + -3). Which is smaller: -119 or u?
-119
Let c = -331/5 + 15527/235. Is -10 bigger than c?
False
Let u = 4 - 11. Suppose -2 = 2*o, 5*k - 6*o = -2*o - 26. Which is smaller: k or u?
u
Let y be (-25)/39 - 323/(-969). Suppose -2*v - 18 = 10. Let j be 10/35 + 18/v. Is y < j?
False
Let c(f) = f**2 + 4*f + 4. Let k be c(-5). Suppose k*g = 27 + 27. Let q be 25/3 - 2/(-3). Which is greater: g or q?
q
Let a = -2480.29 - -2506. Let k = 0.31 - a. Let t = k + 25. Which is smaller: t or -5/8?
-5/8
Let u = -7 + 0. Let c(q) = -q**3 - 5*q**2 + 13*q - 10. Let l be c(u). Let i be (l/(-6))/(10/(-140)). Which is smaller: -1 or i?
i
Suppose -4 = -d - 2*z, -9*d + 10*d - 3*z = -16. Which is greater: -1/214 or d?
-1/214
Let i be -15 + 14 + 5/(-5) + 1. Is i > 5/193?
False
Let o(r) = -r**2 + 16*r - 31. Let g be o(10). Suppose -g*m + 27*m = -358. Let k = 254 - m. Which is smaller: 0.1 or k?
0.1
Suppose 5*j - 20 = 0, -5*j = 5*k + 22 - 132. Which is greater: 287/17 or k?
k
Suppose -4228 = 34*f + 2300. Which is greater: -0.2 or f?
-0.2
Let l = -939123/20 - -46956. Suppose 0 = -5*v + 3*v + 6. Let z = 2 - v. Is z smaller than l?
True
Let m = 42 + -129. Let g = 86.9 + m. Suppose 11*l - 6*l = -145. Are l and g equal?
False
Let c = 0.2082 - -0.7918. Are c and 6516 unequal?
True
Let n = 3714 - 2005. Which is bigger: 1708 or n?
n
Let k = 1.94 - -0.06. Let a = 48 - k. Which is smaller: 0.1 or a?
0.1
Let y(j) = -34*j**2 - 4*j + 2. Let x be y(1). Let q = -6 - 26. Let c = x - q. Do -4 and c have different values?
False
Let x = -73.14 + 72. Let q = x + 1.14. Do 167 and q have different values?
True
Let f = 236 + -160. Let v = 75 - f. Which is greater: v or 2/29?
2/29
Let n be (-170)/(-119) + 10314/(-5838). Is 0 != n?
True
Suppose -9 = 4*x + 3. Let c = 0.262 - 0.483. Let h = -0.279 + c. Is h bigger than x?
True
Let y = -339 - -8472/25. Let m(z) = -6*z**2 - 151*z - 409. Let t be m(-3). Which is smaller: t or y?
t
Let x = 6.8556 - -1.3774. Which is smaller: x or -1/3?
-1/3
Suppose 0 = -5*j + 4*i + 7, -j - 2*j - 1 = -5*i. Suppose -5*m + 3*y = -2*m - 12, j*m + 4*y + 16 = 0. Is m not equal to -2/225?
True
Let b = 0.0229 - -151.9771. Let p = 79 - b. Is -0.4 != p?
True
Let o = -3.7 - 0.1. Let y = -781 + 342. Let k = 438 + y. Is o != k?
True
Suppose -3*t - 213 = -5*w, 43 = 2*w + t - 40. Suppose 3*b - 4*v = 106, 2*v + v + w = b. Suppose -b = -6*p + 3*p. Is p at least 10?
True
Let q = 41 - 41.085. Let j = 0.005 + q. Let w be (3 - 5) + 19/8. Is w < j?
False
Let h be 3/(-12) + (-142)/8. Let l be (-15)/2*12/h. Let i = 9/5363 + 134039/21452. Which is smaller: l or i?
l
Let o = 4978 - 5122. Is o at least as big as -144?
True
Let q = -352 + 355. Suppose v = -q*b + 6, -12*b + 8 = -7*b + v. Which is smaller: 7/53 or b?
7/53
Suppose 4*r - 27 = 2*f - 59, f = 3*r + 22. Let u = -43/3 - -59/6. Are r and u equal?
False
Let s be (-9)/(-15) - 13/5. Let q be (-14)/(-21) - (-20)/6. Suppose 2*a - q = 6*a. Which is greater: a or s?
a
Let l = -421019/1939 + 1520/7. Let v(u) = 60*u - 3241. Let n be v(54). Is l < n?
False
Let w(n) = 18*n**2 - 21 - 53*n**2 + 2*n**3 + 15 + 16*n. Let r be w(17). Is -24 at least as big as r?
False
Let u = -2491.8 + 2491.1. Which is bigger: -2.8 or u?
u
Let f = -1890/13 - -145. Is f less than -13?
False
Let z = 26.3 + 156.7. Let u = z + -183.05. Do u and -3/25 have the same value?
False
Suppose 4*n = -4*f + 104, -2*n + 2*f = -0*n - 44. Suppose 2*j + 2*a = -2*a - n, 2*a = 5*j + 36. Let h be 70/j*(-21)/49. Which is greater: 4 or h?
4
Let s = -10825675/2 - -98455487/18. Let d = 56755 - s. Let j = d + 157. Is 0 at most as big as j?
True
Let k = 1.43 - 8.11. Is k less than or equal to 0.1?
True
Let z be (((-105)/(-10))/(-7))/(-6)*-1723. Let c = z + 270519/628. Which is smaller: c or 1?
c
Suppose 4*r = z + 201, 5*r - 3*z = 6*r - 60. Do 12/13 and r have the same value?
False
Let h be (2/2)/((45/50)/9). Suppose 2*p - 4*r = 14, -p + h - 1 = -4*r. Suppose 3*g - 6*g = -5*l + 12, -5*g = -2*l + 1. Is p less than l?
False
Let d(j) = 2*j - 8. Let p be d(4). Which is smaller: -1/5998 or p?
-1/5998
Suppose -4*s + 31 = -69. Suppose s = -5*y - 5. Let i be (-25)/(-60) + (-2)/y. Is 2/3 equal to i?
False
Let q = -322 - -323.42. Let b = -69.58 - q. Which is smaller: b or 1?
b
Suppose 12*m - 15*m + 4*d = -25, -m = 4*d + 13. Suppose 3*w - v + 4 = 0, -m*v = -9*w + 7*w - 12. Which is smaller: w or -2/577?
-2/577
Suppose -11*d + 51 + 103 = 0. Suppose 0 = -6*i + 2*i - 2*g + d, 3*i + 5*g - 14 = 0. Suppose 3*x - 9 = -i. Is x smaller than 5/6?
False
Suppose 31*h + 1054802 = -26*h - 129145. Is -20771 smaller than h?
False
Suppose -81*f + 176 = -70*f. Let q be (-4)/16*3/((-42)/f). Is q != -2/83?
True
Let d be (-234)/(-104)*12/9. Which is greater: 84/37 or d?
d
Let o = 40 - 39.8. Let q be 12/(-16)*3*16. Do q and o have different values?
True
Let q be 114/(-8) + 2/8. Let f be 66/(-231) - (-10597)/21. Let g = f + -518. Which is bigger: g or q?
g
Let s = -74 - -69. Let i be (-1104)/(-20) - (s + 13). Which is smaller: i or 48?
i
Let v be (-19)/1 - (-719 - -615). Is v less than 66?
False
Let x = -434 - -434. Suppose -36*s + 5*s = x. Which is smaller: s or -5/27?
-5/27
Let g(r) = -2 + 58*r**2 + r - 50*r**2 + r**3 + r + 7. Let l be g(-8). Suppose 2*d + 3 = -15. Is d at least l?
True
Let u(r) = -2*r**3 - 21*r**2 + 47*r + 64. Let i be u(-12). Which is smaller: -56 or i?
i
Let j = -9711 - -9712. Let s = 4720/39 + -364/3. Which is bigger: j or s?
j
Let u be (-12)/(-16)*(-940)/(-15). Suppose s = -u + 23. Let r(f) = -f**2 + f + 5. Let x be r(-5). Which is bigger: x or s?
s
Suppose 10*g = 7*g + 5*j + 551, -696 = -4*g - 3*j. Which is smaller: 1069/6 or g?
g
Suppose n - 3*p = -5*p + 39, -3 = 3*p. Suppose -n*t + 38*t + 5*j = 43, -23 = 3*t - j. Which is smaller: t or -4?
t
Suppose -4*l = 4*w - 108 + 92, 3*l - 12 = 0. Which is smaller: 1/4338 or w?
w
Let x(u) be the third derivative of u**4/3 - 4*u**3 - u**2 - 18*u. Let a be x(4). Which is bigger: a or 60/7?
60/7
Suppose -30*g = -3*d - 33*g + 11379, 0 = -5*g - 35. Which is bigger: 11404/3 or d?
11404/3
Suppose q - 67 - 16 = 0. Suppose 7*t - 6*t = 211. Let x = t - 127. Is x <= q?
False
Suppose 25*h + 17*h = 54*h. Which is greater: h or -13/2?
h
Let f(v) = -v**2 - 3*v + 8. Let k be f(-5). Let l be 0 + (-4 - (-2 - 4/12)). Which is greater: l or k?
l
Suppose 3*n + 13 = 2*d, -21*d - 21 = 5*n - 25*d. Let w be (1/n - 6/(-30)) + 0. Which is bigger: 5/51 or w?
5/51
Let a be (0 + 42/(-12))/(-2)*-4. Let k(c) = -6*c**2 - 38*c + 17. Let v be k(a). Let h(l) = 10*l**3 - l**2 - l. Let p be h(-1). Is p smaller than v?
False
Suppose 3*o + 3*i = 285, 189*o - 184*o + i - 467 = 0. Is o < -5?
False
Let r(a) = 2*a**2 + 13*a - 24. Let n be r(-8). Let f(k) = -2*k + 1. Let v be f(n). Let h = 59/4 - 121/8. Which is greater: v or h?
v
Let v(m) = -m**3 + 4*m**2 + 10*m - 5. Let p be v(5). Let b be ((-2)/14)/(5/(p/36)). Which is smaller: b or 0?
b
Suppose 15*y = -19*y + 2006. Suppose 0 = 53*k - y*k - 1890. Are -315 and k nonequal?
False
Let a = -37.93 + 0.93. Let v = -36.85 - a. Which is greater: v or 5?
5
Let y(r) = r**3 - 46*r**2 - 329*r + 85. Let u be y(52). Which is smaller: u or -797?
u
Let k(z) = 10*z**3 - 3*z**2 + 4*z - 2. Let x be k(2). Suppose -2*b = -c + 68, 3*c - 53 - 145 = 4*b. Let p = x - c. Is p less than or equal to 13?
True
Let m(p) = p**3 + 10*p**2 + 8*p - 7. Let u be m(-9). Let v(a) = 43*a**2 + 3*a - 7. Let y be v(u). Are y and 170 non-equal?
True
Let t(o) = 65*o + 1. Let k be t(-1). Let l = k - -66. Suppose 0 = 285*d - 283*d - l. Is -1/121 less than or equal to d?
True
Suppose 42*i = 45*i - 4*u + 6061, u = -5*i - 10071. Is 