+ 33*j + 10. Let i be p(7). Let h be (i - 8/(-4)) + (1 - 0). Which is smaller: h or -2/203?
h
Let h = -570 - -537. Is h greater than or equal to -298/9?
True
Let t = -2/163 - 320/489. Let y be (2 - (4 - 2))*-1. Let o be y/((-5 - -3)*-1). Is t equal to o?
False
Let y = 31.909 + 0.116. Let h = 0.025 - y. Do h and -1/4 have different values?
True
Let f(d) = -d**3 + 19*d**2 - 15*d - 39. Let s be f(18). Suppose -3 + s = -6*o. Let q be (6/56)/(2/(-16)). Which is smaller: o or q?
o
Let m(l) = 4*l**2 + 33*l + 14. Let r be m(-4). Is r < -56?
False
Let s be (-46526)/2232 - (-21)/(-84). Let v be -1 - -1 - (-380)/18. Let z = s + v. Is z equal to 1?
False
Let q = -2613/7 - -359. Is -14 greater than q?
True
Let g(n) = -2*n - 1. Let k(u) = -5*u**2 + 11*u - 4. Let m(x) = 3*g(x) + k(x). Let y be m(2). Which is smaller: y or 2?
y
Suppose 12 = l - 2. Let f be 4/14 + (-60)/l. Let x be (-5 + 4)*4/6*3. Which is smaller: f or x?
f
Let i be (-5)/(-15) - 8670/25902. Is 0 at most as big as i?
False
Let y = -25 - -44. Let s = 13 - y. Is 0.2 greater than s?
True
Let b = 2602 - 2601. Are 824 and b unequal?
True
Let f be ((-3)/((-75)/80))/((-4)/10). Which is smaller: f or -49?
-49
Let z = 571 + -570. Is 28/19 > z?
True
Let c(o) = 5*o**2 - 30*o - 17. Let i be c(7). Is i at least 17?
True
Suppose -4*q + 24 = -8. Let r(x) = -x**2 - 13*x - 16. Let k be r(-11). Do q and k have different values?
True
Let p = 30 + -25. Suppose 386 + 52 = p*u - 3*w, -348 = -4*u + 3*w. Suppose 2*x - 7*x + 5*z - u = 0, -3*z = -x - 16. Which is bigger: x or -20?
x
Let x(f) = -28*f + 1. Let m be x(1). Let h = -0.503 - -0.403. Which is smaller: h or m?
m
Let c = -0.06 - -1.06. Let k = 8 + -2. Let d = k + -6.01. Is d greater than c?
False
Let n be 6/(-15) + (-6)/10. Let f = -15524/145 + -194/145. Let g = -108 - f. Is n <= g?
True
Let k = 0.07 + -2.07. Let x be 21/(-6) - 8/(-2). Which is smaller: k or x?
k
Let u = 9 - 8. Let k(x) = x - 5. Let f be k(3). Let s be -2 + -1 + (6 - f). Which is greater: u or s?
s
Suppose 0 = 2*m + 3 - 1. Let f = -2 - m. Let t = 22 + -22.1. Do t and f have the same value?
False
Let s be (((-6)/8)/(5670/(-112)))/(-2). Suppose -c = -0*c - 2*c. Which is greater: c or s?
c
Let s = -2 + 9/4. Suppose 0 = 32*x - 30*x + 184. Let q = -280/3 - x. Is q <= s?
True
Let s = -229 + 224. Which is smaller: s or -41/7?
-41/7
Suppose 0 = 13*o - 10*o - 987. Is o smaller than 329?
False
Let u = 91.141 - 0.141. Let f = 93 - u. Is -0.14 < f?
True
Suppose -2*q = 25 + 51. Let w = q + 37. Which is bigger: -8 or w?
w
Let p be 9*(-1)/(-22)*(-5)/2. Let k = p - -3/11. Is -2 != k?
True
Let w = 269 - 270. Are -2.68 and w nonequal?
True
Let f be 1*1*(-2)/10. Let r(l) = -2*l + 2. Let x be r(-3). Let i = x - 9. Which is smaller: i or f?
i
Let q(r) = -r**3 - 9*r**2 - 8*r + 6. Let c be q(-8). Let l(m) = 6*m + m**3 - c*m + 5*m**2. Let f be l(-5). Is f equal to 0.07?
False
Let m(j) = j**3 + 25*j**2 - 62*j + 35. Let r be m(-27). Is 251 less than or equal to r?
True
Let f = -27 - -46. Let a = 27 - f. Let k be ((-6)/(-9)*3)/(4/16). Is k greater than a?
False
Let k = 83.75 - -2.25. Which is bigger: 0 or k?
k
Let n be (10/(-65))/(54/15). Which is bigger: n or 1?
1
Let t = 0.1009 - 0.1009. Let u = 2.27 - -0.13. Let f = u - 0.4. Is t equal to f?
False
Let x be 240/(-196)*14/4. Which is smaller: x or -4?
x
Let l = 334 - 432. Do l and -100 have the same value?
False
Let n = 1.14 - 1.34. Which is smaller: 75 or n?
n
Let v be (12 - 13)/((-7)/7). Is -14/59 smaller than v?
True
Let v = 251535 - 24147775/96. Let o = v + -1/96. Is -3 at most o?
False
Let k(g) = g**3 + 6*g**2 - 7*g - 7. Let d be k(-6). Let t be ((-1)/7)/((-30)/d). Is -0.01 at least t?
False
Let i = 174 - 51. Is i <= -0.04?
False
Let l(g) = -3*g - 26. Let a be l(-4). Let j = -21 - -9. Is a <= j?
True
Let v = -210/11 - -843/44. Is v at most -1?
False
Suppose -2*m - 2*m = p - 3, -3*p + 5*m + 9 = 0. Suppose -5*j - 3*c + 343 = 61, -p*c = -3*j + 150. Is j less than 56?
True
Suppose -3*l + 398 = -5*b, -5*b + 4 = -6. Does l = 136?
True
Let b(h) = -3*h**3 + 2*h**2 - 1. Let t be b(-1). Suppose -3*v + 12 = -15. Let f be v*(-1 + 8/6). Are t and f unequal?
True
Suppose -t + 252 = -10*t. Let g be 21/7*t/(-6). Is g greater than 14?
False
Suppose 12*q + 14 = -2*a + 8*q, -5*a = -3*q - 4. Let t be (6/(-4))/((-20)/(-4)). Are t and a unequal?
True
Let t be ((-18)/(-24))/(15/(-20)). Which is smaller: -29/13 or t?
-29/13
Suppose -32*v = -80 + 48. Is -17/121 < v?
True
Suppose 0 = p - 1, 4*p - 26 = 4*d + 2*p. Let n be (d/8)/((-99)/88). Let k = -1.2 + 1.5. Is k bigger than n?
False
Let o be (3 + (-1 - -3))*2. Let h(u) = -u**3 + 11*u**2 - 6*u - 2. Let l be h(o). Is l bigger than 38?
False
Suppose 19*h = 526 - 545. Which is bigger: h or -12/5?
h
Let a be (-2126)/(-9) + (-12)/54. Are a and 236 equal?
True
Suppose 12*q + 405 = 21*q. Suppose 8 = -43*m + q*m. Suppose -45 = -10*r + 5*r. Is r not equal to m?
True
Suppose -8*b = -11*b. Let m(y) = y**2 - 5*y + 4. Let z be m(b). Is z bigger than 2?
True
Let b = 144/23 + -2165/276. Let q = -154/3 - -50. Let d = q - b. Which is smaller: d or 1?
d
Let o = 0.2 - 0.6. Let z = 48 - 46. Let u = z + -1.8. Which is greater: o or u?
u
Let o be 10/15 + 4/(-6). Suppose o = -5*r + 7*r + 28. Let g(f) = f**3 + 13*f**2 - 12*f + 16. Let b be g(r). Which is greater: b or 1/3?
1/3
Suppose -9*o = 46*z - 51*z - 5, 0 = 5*o - 5*z - 5. Which is smaller: o or -3/10?
-3/10
Let h be (-4 - (-2 + -3))/1. Which is smaller: 2/467 or h?
2/467
Let f be ((-24)/56)/((-1)/(-10)*-3). Is 1 at least as big as f?
False
Suppose -2*z + 4 = 2*z. Suppose 3*y = -9 - 3, 4*g - y = 116. Which is greater: z or g?
g
Let u be ((-238)/35 - -6)*5/(-2). Let x be 0/(u/10 - (-22)/(-10)). Which is bigger: 2/165 or x?
2/165
Suppose -7*w + 109 = 102. Which is greater: 2/281 or w?
w
Let h = 354 - 245. Let o = 117 - h. Is -0.1 equal to o?
False
Let u be 2/(-540) + (-1 - (-7 + 6)). Which is greater: -1 or u?
u
Let s(h) = 2*h**3 - 61*h**2 + 141*h - 40. Let g be s(28). Is 0.03 greater than or equal to g?
True
Let a = -29041/13 + 1298161/585. Let p = a + 72/5. Let r(b) = b**2 + 4*b - 5. Let z be r(-5). Is z at least p?
True
Let f = 276 - 300. Suppose 25*z + 23 = 24*z. Which is smaller: f or z?
f
Suppose 3*s - 3*o - 45 = 0, 5*s - 6*o - 75 = -2*o. Suppose n + 3*d = 4*n + 6, s = 3*d. Suppose 0 = 3*c - 5*v - 10, -3*c - v = n*v - 46. Is 10 smaller than c?
False
Let l = 119.3 - 119. Which is bigger: 6 or l?
6
Let q = -1.272 - -0.452. Which is smaller: q or -0.4?
q
Let v = -0.15 + 0.09. Let u = -3.61 - -7.61. Which is bigger: u or v?
u
Let i be (-78)/(-273)*(-1750)/(-6). Is 82 bigger than i?
False
Let g = -6.1 - 46.9. Let l = -54 - g. Which is greater: l or -11?
l
Suppose -d - 44 = -3*x + 1, 4*d + 150 = -3*x. Let o be ((9/d)/(-3))/(2/(-8)). Are o and 1 nonequal?
True
Let u be (7 - 217/28) + (-12)/(-16). Is 6/389 less than or equal to u?
False
Let v = -4288 - -167246/39. Is v bigger than -1?
True
Suppose -a + 32 = 3*a - 3*h, -3*a + 19 = -h. Suppose -3*k + 4*r - 9 = -3, 24 = -a*k + 2*r. Suppose -u - 4*w - 17 = 0, 2*w - 19 = 4*u + u. Is u >= k?
True
Suppose 0 = -2*q - 2*i, 5*q + 0*q - 4*i = 45. Suppose -3*h + 7 + 5 = -q*a, 4*h + 4 = 0. Which is greater: a or -16?
a
Let u be 4*4*(-18)/(-24). Let j be (3/(-4))/(1 - (-6)/u). Which is bigger: 4.2 or j?
4.2
Let i = -1/3254 + -3019/764690. Let m = 239/940 + i. Are m and -0.85 non-equal?
True
Let c = -95 + 49. Let g = 40 + c. Which is bigger: g or -3?
-3
Let g be (-13)/((-637)/168) + (-6)/14. Suppose -15 = -18*x + g*x. Which is greater: x or -4/33?
x
Let z = 2 + -2. Suppose -3*h + z*h = 42. Let n be ((-41)/h + -3)*1. Is -1 not equal to n?
True
Let z = 1.1 - 1.3. Which is smaller: z or 164?
z
Let q = -99.067 + 99. Let g = -0.033 + q. Let f = -1.8 - -2. Is g at least as big as f?
False
Let u be -3 + -3 + -1 + 25. Let b be (u/(-10))/((-7)/35). Does b = 9?
True
Let h be 1/(21/20 + -1). Let t(c) = -c**2 + 9*c. Let q be t(4). Is q at most as big as h?
True
Let v = -29 - -44. Let p be -3 - (-2 + 39/3). Let i = v + p. Which is smaller: i or -1/7?
-1/7
Let m = 170 + -35. Which is greater: m or 1?
m
Suppose 4*y + 1 = -2*v + 3, -4 = y - 4*v. Suppose -23 = 3*g + 4. Let u be ((-783)/(-444))/g - (-1)/4. Which is smaller: u or y?
y
Let m = -4438 + 2822567/636. Which is bigger: 1 or m?
1
Le