v(3). Do m and 3 have the same value?
False
Let b = -1915.8 + 1915. Which is smaller: b or -3/7?
b
Let c be ((-286)/(-39))/(1/(-3)). Let b be 32/10 - (-66)/c. Let z = 4 + -6. Is b < z?
False
Let w = -9.6 + 12.3. Which is greater: w or -0.1?
w
Let h = 4812992/313 + -15377. Is h bigger than 0?
False
Let z = 51 - 199. Let c = 149 + z. Which is bigger: c or -25/4?
c
Let q = -1319.13 - -1338. Let m = q + -19. Let s = m - 0.87. Are -3/5 and s equal?
False
Let j = -73/28 + 6/7. Which is smaller: j or 0?
j
Suppose 393 + 267 = -4*y. Let a be (-4)/(-3)*y/50. Is a < -3?
True
Let g(l) = l**2 + 8*l + 1. Let u be g(-8). Let v be (-4)/14 - 1588/(-7). Let c = -226 + v. Is c <= u?
True
Suppose 5*z = -5*b - 160, 2*b - 2*z - 2*z = -64. Which is bigger: -30 or b?
-30
Let q = 91 - 158. Which is greater: q or 1?
1
Let u = 15 + -14. Suppose -21 + u = 4*j. Let x = j + 14. Is x smaller than 8?
False
Suppose 1 + 8 = -s. Suppose 7 + 2 = -z. Let j = s - z. Is j greater than -2?
True
Let a = -1802 - -156772/87. Let x(i) = -8*i - 25. Let l be x(-3). Which is greater: a or l?
a
Let j(u) = 3*u + 6. Let t be j(-6). Let c = t + 11. Let f be 3 - (2 - (-2 - c)). Which is greater: -2/9 or f?
f
Let z = -5.07 + 6.07. Which is bigger: 2 or z?
2
Suppose z - 6 = -0*z. Let i(c) = -3*c**2 - 27*c + 33. Let d be i(-10). Suppose 0 = 4*n - d*j + 12, -2*n + 4*j - 10 = z. Is -2/11 at most n?
True
Let m = -22 + 6. Which is bigger: m or -2/5?
-2/5
Let b = -51 - -51.24. Let l = b + -0.14. Which is bigger: l or 9?
9
Let p = 85 - 57. Let a = p + -28. Is a <= -1/4?
False
Let u = 18/5 - 47/20. Let i = -90475/106114 + -1/3121. Let n = i + 6/17. Which is bigger: u or n?
u
Let v be 10/16*(-3)/((-135)/(-18)). Are v and 58 non-equal?
True
Let o = -1 - 4. Which is greater: o or 8?
8
Let m(h) = -16*h - 1. Let b be m(5). Let o(c) = -c**2 + 78*c - 1313. Let a be o(22). Is a != b?
False
Let v = 149165 - 172286089/1155. Let s = -14/55 - v. Let u = -10/21 - s. Which is smaller: -2 or u?
-2
Let w(k) = k - 11. Suppose -3*m = -5*m + 20. Let z be w(m). Let b be z/(1/(0 + 1)). Does -1 = b?
True
Let l = -436975/109 - -4009. Is -1 at most as big as l?
True
Let t = 1004 + -1005. Which is smaller: t or 2/541?
t
Suppose -7 = -2*i + 3. Suppose 0 = -3*a + 5*w + 29, -39 = -i*a + 4*w - 8. Do a and 7/2 have different values?
True
Let z be 2 - (-1 + 7) - (-455 + -2). Which is smaller: 2 or z?
2
Let o(k) = -k**2 + k - 1. Let z(g) = -g**2 - g + 1. Let b(v) = 3*o(v) - z(v). Let q be b(3). Suppose 0 = 5*p - 2*h + 42, -h = -0*p + 4*p + 44. Is q <= p?
True
Let g be (-6)/(-9) + (-8)/21. Which is smaller: g or 1?
g
Let s be (-6 + 0)*(-5)/(-35). Let t be 158/70 + 3/(-3). Let i = t + s. Does i = 0?
False
Let j(u) = 20*u - 343. Let q be j(17). Is -103 bigger than q?
False
Let l = 8.8 + 1.2. Let f = 62 - 61.8. Is l less than or equal to f?
False
Suppose 3*u + 5*i = 3*i, 0 = i + 3. Let y be (-4)/(-20) + (24/(-20))/u. Which is smaller: y or -5.1?
-5.1
Let f(c) = -3*c**2 + 5*c - 11. Let r be f(4). Let t = -34 - r. Is 2 bigger than t?
False
Let k = -277/30 - -42/5. Let f be 2 - -21*(78/27 - 3). Let t = k - f. Which is bigger: t or -0.3?
-0.3
Let y be (-654)/(-315) + 30/525. Is y smaller than 3/2?
False
Suppose -2*c = c + 3. Let w = 52011 - 7021009/135. Let p = w + -18/5. Is p at least as big as c?
True
Let k be 14890/(-1400) - (-2)/7. Let i = -7/576 + -33373/2880. Let n = i - k. Which is smaller: -2/9 or n?
n
Let w = 0.125 + 0.075. Is w equal to -27/2?
False
Let d = 18.92 - 19. Let t = 0.18 + d. Is 1 smaller than t?
False
Suppose -4*j + 3*c = 2 - 27, -j - c + 1 = 0. Is 40/9 < j?
False
Suppose 0 = 5*v - 37 - 138. Let p = -13 + v. Suppose -p = 5*i + 3. Which is smaller: -3 or i?
i
Let q be (-5)/(100/(-12))*34466/(-57). Is -364 less than or equal to q?
True
Let g = 7.9 + -8. Let f = g - -0.7. Let k = 18.4 + f. Is k smaller than 0?
False
Suppose 8*z - 16 = 4*z. Suppose -2*u = 0, 2*u - 6*u = -z*h. Is 5/23 less than h?
False
Suppose 8 = -4*v - 3*d, -3*d + 6 = -3*v - 0*v. Which is smaller: -13/10 or v?
v
Suppose -17 = 3*l - 29. Let t be -3 + (l - 141/138). Which is smaller: t or 1?
t
Let v(j) = j - 2. Suppose -4*g - 25 = -m + 4*m, 2*m - 37 = 5*g. Let x be v(g). Is x < -26/3?
True
Let k = 12 - 9. Suppose -d = 39 + k. Let f be ((-5)/9)/(35/d). Is 1/13 bigger than f?
False
Suppose -24 = -5*v + 2*v. Suppose -m + v - 20 = 0. Suppose 4*w - 4*h + 35 = -17, -4*w = h + 37. Is m <= w?
True
Suppose 25 = -4*l - 19. Let k = 45 + -40. Suppose -k*q - 2*q = 70. Which is smaller: l or q?
l
Suppose 31 = 2*v + 13. Let h = v + -3. Are h and 6 equal?
True
Let x be 0/(1 - 0/(-3)). Let q(i) = -20*i**3 - i**2 + i. Let h be q(1). Let t be (2 - x) + h/(-6). Is 4 less than t?
True
Let g(h) = 11 - 2*h + 12*h - 6*h**2 - h**3 + 19*h**2 - 9*h**2. Let d be g(6). Which is smaller: 2/215 or d?
d
Suppose -72 = 7*t + 145. Let f be t/((6 + 2)/(-4) - -3). Which is smaller: f or -32?
-32
Suppose 0 = 4*v - 2*v + 78. Let b = v - -38. Is -6/7 smaller than b?
False
Suppose -2*f = 6, 5*f = -r - r - 35. Let h be (-4)/r - 13/(-5). Suppose -h*s - 13 = g, -3*s = -6*s - 15. Which is greater: g or 9/4?
9/4
Let l be 352/33*3/10. Which is smaller: l or 0?
0
Let v = 27 + -39. Let s = -19 + 31. Suppose 0 = 8*t - s*t. Which is smaller: v or t?
v
Let q be 26/(-4) - 1/(-2). Suppose 3*x + 0 = 45. Let o be q/(-5)*5/x. Which is bigger: 6 or o?
6
Suppose -11*f - 6 = -9*f. Let k be 4 + 15/(-9) + f. Suppose -4*t - 1 - 3 = 0. Does t = k?
False
Let t = -1286 - -75872/59. Let x = -21415 + 21416. Are x and t unequal?
True
Let t be (-10)/(-15) + (-3 - 4729/(-2028)). Is 1 greater than t?
True
Let f be 3*2*(0/(-6) - -1). Is 8 equal to f?
False
Suppose 5*j - r = -8, -1 + 12 = j + 4*r. Let c be -3 + j/(2/(-2)). Let k be (-6)/15 + 18/(-30). Which is smaller: c or k?
c
Suppose -d - 97 = -3*l, 4*l = 3*l - 2*d + 37. Suppose -4*w = l + 51. Is -21 greater than w?
False
Let a be (3/(-14))/((-126)/(-2107)) - -4. Which is greater: 1 or a?
1
Suppose -275*l + 283*l = 8. Which is bigger: l or 1/175?
l
Let m be (-67*2 - 0/22)/2. Which is smaller: m or -65?
m
Suppose -h - 153 = 3*t, -256 = -t + 6*t + 2*h. Do t and -31 have different values?
True
Let a(c) = 3*c**2 - 21*c + 16. Let v be a(8). Are 43 and v nonequal?
True
Let s = 62 + 148. Is s != 2/3?
True
Let c(u) = -4*u + 1. Let n(l) = -4*l + 1. Let w(g) = 6*c(g) - 7*n(g). Let p be w(1). Suppose -4 = 3*t + v, -p*v - 8 = -2*t - 29. Is 0.1 > t?
True
Let u be -2 + 3 + 62 + 32/8. Let j = u + -64. Is j > 19?
False
Suppose 0*x + 5*h - 33 = -2*x, 3*h = -5*x + 73. Let b = x - 8. Let y = b + -9. Is -5 bigger than y?
False
Let o be 1280/15 + 2/3. Which is smaller: 84 or o?
84
Let x(t) = -t**2 - t + 6. Let j be x(4). Let d be 245/j*(-2 + 12/10). Is d equal to 14?
True
Let b(i) be the third derivative of -i**6/120 + i**5/15 - i**4/24 + 2*i**3/3 - 12*i**2. Let l be b(4). Is l at least as big as 1/20?
False
Let s = 2.2 - -14.8. Let q = -335 + 317.9. Let w = q + s. Is 4 smaller than w?
False
Let a be 15/20 + (-63)/(-12). Suppose 0 = -a*t + 191 + 73. Is 44 bigger than t?
False
Let o(a) = 14*a**2 + 4*a - 13. Let l be o(2). Which is greater: 55 or l?
55
Let n = 1957/70488 + 9/712. Is n at least 1?
False
Let b be 3/(((-315)/14)/15). Is -8/13 smaller than b?
False
Suppose 4*i + 5*k - 31 = 0, 5*i = 3*i - 4*k + 20. Let t be (i - (-27)/(-6)) + (-55)/2. Is t <= -53/2?
True
Suppose -73 = 12*a + 215. Suppose -2*c + 10 = -0*c. Suppose -c*j = -5*s - 140, 8*j - 4*j = -s - 3. Which is bigger: s or a?
s
Let f = -7.6 + 52.6. Let s = 27 - f. Which is smaller: s or 0?
s
Suppose 3*n + 5*t - 335 = -1735, -4*t = 16. Is n less than or equal to -458?
True
Let r(c) = c**2 + 40*c + 299. Let w be r(-10). Which is smaller: w or -9/185?
w
Let v(y) = -63*y + 911. Let i be v(15). Which is smaller: i or -2?
i
Let x be (-2 + -10)/(-4 - -2). Suppose 16 = 2*b - 2*z, 3*b + 2*z - 9 = -0*z. Which is smaller: x or b?
b
Let b be 6/(-4) + 138/92. Is b at least 7/27?
False
Suppose 0 = -2*h - 16 + 10. Let f = -25 - h. Is f equal to -22?
True
Suppose 254 + 62 = 2*z. Which is smaller: z or -2?
-2
Let d(l) = -l**2 + 6*l - 5. Let h be (-4 - -9) + (-3)/(-9)*0. Let b be d(h). Which is greater: 2/261 or b?
2/261
Let b = 356 + -249. Which is bigger: b or -2?
b
Suppose 0 = -j, j + 8 = 5*u - 12. Suppose 0 = f - 2. Suppose 1 = -f*l + 5. Which is s