be v/(-11) - 1*3. Are -1 and m equal?
False
Let i = -504 - -513. Which is bigger: i or -10?
i
Suppose -3*n + 0*n = w - 1, -4*n = 5*w - 60. Let j = 19 - w. Suppose c = j*z - 32, -z = -5*c - 40 + 6. Is 6 less than z?
True
Let h = -102.3 - -102. Is -2.2 greater than h?
False
Let v(h) = -h**3 - 8*h**2 + 4. Let i be v(-8). Let c be (-12)/i - 4/(-1). Is -6/17 equal to c?
False
Let i(o) = -12*o**2 - 8*o - 6. Let x be i(-3). Let z = -43 - x. Are 48 and z nonequal?
True
Let a = -0.07 + -3.93. Which is smaller: a or -0.4?
a
Suppose 626 = 45*g - 4009. Is 205/2 at most g?
True
Let o(g) = g**2 + 38*g + 37. Let z be o(-38). Is z at most 178/5?
False
Suppose 2*s + 37 - 131 = 4*h, -h - 5*s - 7 = 0. Let c = h - -22. Suppose -2*z + 2*p - 30 = c, -2*p + 30 = -2*z - p. Is -15 greater than z?
False
Let b be 1/(-6) + 1230/36. Let n = -24 + b. Let x = 12.4 - 12.3. Is x less than or equal to n?
True
Let d = 23.6 + -28. Let m = d + 4. Which is greater: 5 or m?
5
Let f = 3073/533 - 74/13. Let u = -29/164 - f. Which is smaller: -13 or u?
-13
Let n = 219.8 - 33.8. Does n = 0.2?
False
Suppose 0 = 3*s + g - 280, 13*s = 9*s + g + 385. Is 187/2 != s?
True
Let h be -2 - ((-5216)/(-7))/4. Let b = h - -125224/665. Which is bigger: b or -1?
b
Let k = 615 - 12913/21. Which is greater: k or -0.1?
k
Let v = 9.26 + -0.26. Let g = v + 11. Let d = g - 19.9. Which is bigger: -2/11 or d?
d
Let y = 4/1339 - -1210/491413. Is y bigger than 1?
False
Suppose 12*y - 14 = -254. Let l(c) = 4*c. Let u be l(-5). Does y = u?
True
Let t be 26/91 - 114/105. Are t and 63 unequal?
True
Let z = 1237/406 - -47/58. Which is smaller: 4 or z?
z
Let w = -1542 + 10795/7. Do w and -12/7 have different values?
True
Let f be (-15)/(-5) + 9 - 2. Suppose f = 42*x - 44*x. Is 3 > x?
True
Let n = -564 - -824. Is 1 at least n?
False
Let f = -0.6 - 3.4. Let i be ((-3)/15)/(1/2). Is i <= f?
False
Let t = -12153830/1427147 + 2/46037. Which is smaller: t or -10?
-10
Let p be (8 - 5)/(1 - -2). Are -12/47 and p nonequal?
True
Let x be 2 + 62789/(-32901) + 18/(-198). Is x at most 1?
True
Let t = 0.026 + 44.974. Let z = t + -45. Is 0 at most z?
True
Let k = 1353 + -1361. Are k and -8 non-equal?
False
Let b be 588/16 - (-6)/(-8). Let i be 1/(2 - 68/b). Let l(v) = 2*v + 3. Let h be l(3). Is i at most h?
True
Let o = 11.8 + 1.2. Let p = -1.3 - 11.7. Let f = p + o. Is 2/9 at least as big as f?
True
Let d be 558/(-153) - (2 - 6). Let f(o) be the second derivative of -o**3/6 - 9*o**2/2 - 5*o. Let j be f(-8). Which is bigger: d or j?
d
Suppose 2*l - 6*l + 140 = 0. Suppose -2*u - u + 105 = 0. Is u smaller than l?
False
Let j(d) = -2*d**3 + 4*d**2 + 2*d - 4. Let m be j(3). Let k = m + 13. Let t be 4 - (k - 99/(-15)). Which is greater: t or 0?
t
Suppose -3*c + 4*g = -0*c - 168, -2*g + 126 = 2*c. Suppose 28 = 4*o + c. Which is greater: o or -10?
o
Let p = 1 - 7. Suppose 25*j - 14*j = -33. Which is bigger: j or p?
j
Let c(s) = -s**2 - 40*s - 255. Let h be c(-32). Are h and -3/322 nonequal?
True
Suppose -5*x + 5*j - 190 = 0, 5*x - 4*x - 4*j + 29 = 0. Let r = x + 33. Which is smaller: r or -7?
r
Suppose h + 5*t = 16, -4*h + 17 = -t + 16. Which is smaller: h or 2/85?
2/85
Suppose -12 = -4*k, n - 4*k + 12 = k. Suppose -5*d - n*y - 40 = -212, 2*d - 76 = -3*y. Let h be (4/(-10))/(d/(-80)). Which is greater: 1/15 or h?
h
Suppose -3*j + b = -28, j + 2*b = -3*j + 44. Suppose 0 = 6*o - 4*o + j. Which is smaller: o or -4?
o
Let k = -26.5 - -25. Let c = -15 + 13.6. Let p = k - c. Which is smaller: 2 or p?
p
Suppose -9*u + 13*u - 3*u = 0. Is -1 greater than u?
False
Suppose 5*s = 5*k + s - 16, 15 = 3*k + 3*s. Suppose 4*n + 32 = 3*y - 5*y, 43 = -5*n - k*y. Let t be (-5)/10 + n/(-2). Which is smaller: 2 or t?
2
Let v(h) = -3*h**3 - 2*h**2 - 2*h. Let x be v(-2). Suppose 0 = 4*b - 4*a - 16, -5*a = 2*b - 0*a + x. Which is smaller: 1 or b?
b
Let v(z) = -z**2 - 11*z - 53. Let b be v(-8). Which is greater: -30 or b?
b
Suppose 18*a + 4 = 76. Suppose 12 = a*p + 2*y, -2*p + 0*y = 3*y - 14. Which is smaller: 2 or p?
p
Suppose 0 = 4*h - h - 15, 5*h = 2*t + 25. Which is greater: 14/41 or t?
14/41
Suppose 4*k = -u + 88, -2*u - 4*k + 176 = -0*u. Let d be (2/6)/(u/3). Let r = 259/440 + d. Is 2 at least r?
True
Let z be (-684)/15*100/(-5). Suppose -3*l + z = 9*l. Which is bigger: l or 78?
78
Suppose 0 = -5*z + 2*j + 49757, 0 = -z - 5*j + 9*j + 9955. Let d = z + -3950549/397. Is 1 not equal to d?
True
Let p(i) = -i**3 + 25*i**2 + 77*i - 26. Let z be p(28). Which is smaller: z or -225?
-225
Let d be (-6)/((-3 - 14/(-4))*-13). Does d = 2?
False
Let y = 0.3 + -1.3. Let z = 11031 - 11012. Is y smaller than z?
True
Let t(k) = 471*k**2 + 2*k + 2. Let m be t(-2). Let x be (-2)/3 + m/(-12). Let f = x - -154. Is -3 not equal to f?
True
Let r be 30/12*12/(-195). Let h be 4/(-2) + 3 - 0. Which is greater: r or h?
h
Let l = 12.54 + -4.54. Are l and 1.6 unequal?
True
Suppose -3*f = -5*m + 11, 2*f = 5*f + 6. Which is smaller: m or -7/30?
-7/30
Let b = 127 + -129. Let t(w) = 5*w**2 - 12. Let c(x) = -4*x**2 + x + 11. Let m(j) = 6*c(j) + 5*t(j). Let d be m(-5). Which is bigger: d or b?
d
Let p(l) = l**3 + l**2 - l + 1. Let c be p(-2). Let f(y) = y**2 + 2*y**3 + y**2 + 1277*y - 1276*y. Let w be f(c). Is 1/9 greater than or equal to w?
True
Let k = -54967/2958 - -316/17. Let o = -31/348 + k. Which is smaller: -4 or o?
-4
Suppose -3 = -p + 1. Suppose -u - p*u - 10 = 0. Let b be ((-3)/u)/((-3)/4). Is b at most as big as -2?
True
Let b(k) = 4*k**2 - 4. Let t be b(0). Let h = -1055/9 + 117. Which is smaller: t or h?
t
Let r = 20.55 + -16.4. Let n = -0.15 + r. Which is smaller: n or -9?
-9
Suppose -15*a + 40 = -10*a. Suppose 0 = -o + 5 + a. Which is greater: o or 14?
14
Let r = -2 + -1. Let k be 0 - (r + (-1286)/(-714)). Let a = k + -22/17. Is a equal to 1?
False
Let p(h) = -3*h - 45. Let s be p(-14). Let v(a) = -14*a - 14. Let g be v(s). Which is smaller: g or 29?
g
Let p be ((-17)/(-34))/(1/6). Suppose p*l = 8*l + 2*g + 43, -4*g = 16. Is -5 less than l?
False
Let d(s) = s**2 - s - 42. Let n be d(-6). Does -3/29 = n?
False
Let y be (-23)/6*1 - 2/12. Let m be 6/(-3)*(-62)/y. Which is smaller: -30 or m?
m
Let z = 17 - 14. Let i be 2 + (-6)/((-9)/(-3)). Suppose -r + i*r = -z*v + 17, r - v = -7. Which is greater: r or -14/9?
-14/9
Let i = -417.1 + 417. Which is bigger: 237/4 or i?
237/4
Let n be 4 + (-8 - -4) - (-4 + 1). Suppose p + y = -n, -2*y = 4 + 2. Which is smaller: 2/95 or p?
p
Let b = 283 + -305.9. Let w = b - -22. Let x = -1 - w. Which is greater: x or -0.07?
-0.07
Let y = 20 - 17. Suppose 0 = -5*q + 2*q + y*f - 12, -5*f + 14 = -2*q. Let n be 0 + q + 2 + 0. Is 3 at most n?
False
Let c be ((-9)/(-6))/(5 - -109). Let k = c - 383/228. Which is smaller: k or -0.3?
k
Suppose 2*q = 15 + 15. Let w be 3523/273 + 30/315. Which is smaller: w or q?
w
Let b(g) = g**3 + g**2 - 28. Let x be b(0). Let i = 45 - 72. Is x less than i?
True
Let k = -17 - -17.14. Suppose 3*u - 3*z - 2 + 11 = 0, 5*z - 15 = -4*u. Which is bigger: k or u?
k
Let q = 135 + -132. Which is greater: q or -3.4?
q
Let i be (464/2175)/(6/5). Is i at most -1?
False
Let x be ((-5)/3)/(168/126). Are 3/13 and x unequal?
True
Let c = -67 + 66. Which is smaller: c or -2?
-2
Let h be (-26)/(-10) - (-12)/(-20). Let a(v) = 3*v + 1. Let p be a(h). Is p < 6?
False
Let q(l) = l**2 + 24*l + 115. Let n be q(-4). Which is smaller: 0.3 or n?
0.3
Let a(d) = 47*d - 190. Let k be a(4). Let h(v) = 0*v - 2*v + v + 6. Let b be h(k). Is b at most 9?
True
Suppose 6*b - 5152 = -26*b. Which is greater: 160 or b?
b
Suppose 0 = 2*r + 2*r - 4*z - 20, 0 = -4*z - 20. Let m = 60 + -17. Let c = 44 - m. Is r less than c?
True
Let l = 4/3 - 11/15. Let m = 11.89 - 0.89. Is l < m?
True
Suppose 4*h = 5*q + 9, -3*h + 17 = -q + 13. Which is bigger: q or 3/109?
3/109
Suppose -10*o - 10 = -30. Which is greater: o or 20/7?
20/7
Let a = 2593546/2223 - -3645/247. Let z = a + -1180. Is 1 < z?
True
Let q = -129 - -125. Let b be ((-16)/q - 10/3)/(-43). Which is smaller: 0 or b?
b
Let u = -538 + 1615/3. Which is smaller: 36 or u?
u
Let m be (-3 - -9)*2/3. Suppose 2*p = 0, m*k - p + 2 = 2*k. Let u be (-15)/20 - ((-2)/8)/1. Which is smaller: u or k?
k
Suppose 2*n = -1 - 1. Let m be ((-3)/(-2))/(48/64). Let g be (-20)/(-8) - (5 - m). Which is bigger: n or g?
g
Suppose -5*q = -c 