v?
False
Let l = 29 - 27. Suppose -l*a + 17 = -3*x, 0*a - 14 = a + 3*x. Is -3/5 >= a?
False
Let t = 1420 + -1420.87. Is 0.1 at most t?
False
Let h = 215 - 272. Which is greater: -173/3 or h?
h
Suppose -4*n + 12 = -0*n. Suppose -n*o - 4*p - 3 + 2 = 0, -p = 3*o - 2. Let t = 13.8 - -0.2. Which is bigger: t or o?
t
Let d = -1 - -2. Let t be 114/1617 + (-46)/506. Are d and t equal?
False
Let j be 130/(-4) - (-4 + (-21)/(-6)). Let g = j - -33. Which is smaller: 3/5 or g?
3/5
Suppose -m = 3*q, -2*m + 48 - 43 = q. Is q <= 2/719?
True
Let u = 3.0325 + -0.0325. Is -5 not equal to u?
True
Let f = 75 - 71. Let b be f/(-6)*171/(-6). Which is smaller: b or 21?
b
Let s(k) be the first derivative of -k**2/2 - 10*k - 5. Let q be s(-13). Suppose -7 = q*m - 10. Is -8 bigger than m?
False
Suppose 12*j - 245 = 559. Which is bigger: 62 or j?
j
Let x = 60 - 63.1. Let y = 401/10 - 81/2. Do y and x have different values?
True
Let q be (-2 + 1)*(-6)/(-30). Let g(o) = -o**2 + 5*o - 2. Let d be g(6). Let b = d - -8. Which is greater: q or b?
b
Let a = -3.97 + -0.03. Let u = 0 - a. Let b = u + -5. Which is bigger: -10 or b?
b
Let u = -15.9415 - 0.0385. Let g = 16 + u. Which is smaller: 0.1 or g?
g
Let f be 4/(-14) + (-14724)/(-2772) + -5. Which is bigger: 0 or f?
f
Let j = 270.8 - 271. Which is bigger: j or 16.1?
16.1
Let l(g) = g**3 + 24*g**2 + 22*g - 10. Let c be l(-23). Is c greater than or equal to 20?
False
Let j be -2*(30/4)/((-27)/36). Suppose -j*d + 65 = -15*d. Let t(l) = -l**3 - l**2 + 3*l + 3. Let i be t(-3). Which is greater: d or i?
d
Let u = -34 - -70. Let t = u - 20. Let c = t + -12. Are -2 and c unequal?
True
Let u(g) = 9*g - 13. Let k be u(7). Suppose -h - 3*h + 3*v = k, -36 = 3*h - 3*v. Let j be 3 - -40*1/h. Is 1 greater than j?
True
Let f(n) = -n + 8. Suppose 12 = 4*c, 10 = k - 2*k + 3*c. Let o(q) = 1. Let h(d) = k*f(d) + 3*o(d). Let s be h(-9). Is s equal to -13?
False
Let p = 202 - 608/3. Is p != 17?
True
Suppose 29*n + 25*n + 540 = 0. Let g = 5 - 9. Does g = n?
False
Let h = -886.995 + 887. Which is smaller: -1/3 or h?
-1/3
Let g = -1347217/365 - -3691. Which is bigger: 0 or g?
0
Suppose r + 4*q - 4 = -3*r, 4*r + q - 16 = 0. Suppose -f = -3*m - m - 3, r*m = 3*f - 9. Which is greater: 3/13 or m?
3/13
Let n be (16/(-10))/(5/25). Let d be n/(-10) - (-5)/25. Which is smaller: d or 2/5?
2/5
Let g = 275 - 266. Are 0.6 and g equal?
False
Let b be (-999)/(1 + -4)*(-227)/(-1738). Let j = b + 6/869. Which is greater: 43 or j?
j
Let g = 42 + -49. Let x be g/(-3 + (1 + -3)/(-1)). Is 0 less than x?
True
Let d(y) = -10 + 4*y**2 + 18 + 2*y - 9. Let i be d(1). Suppose 5*z - k - 44 = 0, k = -z - 1 + i. Is 9 < z?
False
Suppose 5*b = 3*b - 2. Let v(n) = n**3 - 16*n**2 - 2. Let r be v(16). Let t be (-3)/(-6)*(-1)/r. Which is greater: b or t?
t
Suppose f = -5*p + 3, 3*p = -3*f + p + 9. Which is smaller: f or -216?
-216
Suppose 2 = -2*q + 20. Let v(b) = 3*b - 18. Let f be v(q). Which is bigger: 19/2 or f?
19/2
Let b(x) = x**3 - 3*x**2 + 4*x + 1. Let h be b(3). Suppose -3*q + h = 4. Let o be -3 + 2/2 + q. Which is smaller: o or 2/35?
2/35
Let l = 130.2 - 5.2. Let v = 122.6 - l. Is 2/7 greater than v?
True
Let c be 738/(-45) + 6 + 10. Are 174 and c non-equal?
True
Let v = -23.9 + -104.1. Let f = v - -127.9. Is 0.053 <= f?
False
Let u = 8 - 6. Suppose u*r + 35 = -3*r. Suppose -8*k - 128 + 88 = 0. Is r < k?
True
Suppose -5*r - 11 = -36. Suppose -r*c - 1 = 4. Do c and 4/11 have the same value?
False
Let t = -2366165/111 - -21317. Which is smaller: 1 or t?
t
Let c(q) = -q**2 - 3*q + 18. Let l be c(3). Let r be 976/(-18) + 2/9. Let v = r - -331/6. Is l at most as big as v?
True
Let d = -67/630 - 1/210. Is d less than 1?
True
Let l = 563 - 821. Is l greater than 0?
False
Let l(k) = k**3 - k**2 - k - 181. Let p be l(0). Let y be (-2 + (7 - 6))*2/p. Which is smaller: 1 or y?
y
Let w = -92.8 + 94.2. Which is greater: -31 or w?
w
Let u be (-4)/(-10) + 340/25. Suppose 0 = 11*q - 9*q - u. Which is greater: 37/5 or q?
37/5
Let r(o) = 3*o + 2. Let a be r(-5). Let l = a - -19. Suppose 4*k + 12 = l*k. Is 6 bigger than k?
False
Let n(h) = 3*h**2 - 5*h + 9. Let g(k) = 13*k**2 - 19*k + 37. Let x(l) = -2*g(l) + 9*n(l). Let z be x(6). Let u be (-62)/15 + -25 + 29. Is z <= u?
False
Let n = -787 + 469. Which is greater: n or -320?
n
Suppose -3*s - 122 = -3*g + 700, 2*s = -5*g + 1342. Let h be (-16)/g*(18/(-24))/(-1). Let l(x) = x + 6. Let f be l(-7). Which is greater: h or f?
h
Suppose 6 = -6*w + 3*w. Suppose -3*j - 37 = 4*t, -3*t - 29 = -t + 5*j. Which is bigger: t or w?
w
Let t = 502 - 222. Let p = t - 290.92. Let o = p + -0.08. Which is greater: -0.1 or o?
-0.1
Suppose 0 = d - 2*b + 13, 5*b - 1 = -4*d - 40. Suppose 3*w + 2*v + 28 = -3*v, 0 = -w + 5*v + 24. Let c = -9 + w. Is c smaller than d?
False
Suppose 0 = 4*l + 4*x - 52, 3*l = -2*l - 3*x + 65. Let a = l + -14. Which is greater: 1/12 or a?
1/12
Let y be ((-6 - -2) + 1)/(4 + -5). Is y bigger than 54/23?
True
Let l be (-17)/(-42) - 4/8. Let q = 28620 + -2404109/84. Let x = l - q. Is x < 1?
True
Let v be 218 - (-2 + (0 - -9)). Is v >= 210?
True
Suppose -14*m = -6*m - 8. Let c be 406/87 - m/(-2). Which is smaller: 4 or c?
4
Suppose 3*n = -5*j - 4, 0 = -5*n + n - 4*j. Suppose 0*w = w - 4. Let o be (-4)/(-10)*5/w. Which is greater: n or o?
n
Let z = -7 - -15. Suppose 2*g = -g, -4*p - 4*g + 36 = 0. Which is greater: z or p?
p
Let v = -538 + -338. Do v and -877 have different values?
True
Let n = 241 + -228. Which is greater: -2/9 or n?
n
Let s(b) = b**3 - 2*b**2 + 4*b - 5. Let k be s(2). Let h be (-3 + 0 + k)/1. Is -3/4 greater than h?
False
Let i be 10*(-5)/(-15)*-3. Let t be (-4)/i + (-669)/(-15). Suppose 3*y + 2*y - t = 0. Which is bigger: 10 or y?
10
Let p = 164 + -163.9. Is -61 equal to p?
False
Let d(l) = -8*l**3 - 2*l**2 - 16*l + 26. Let o be d(4). Is -583 != o?
True
Let q = 41 + -372. Are 0.2 and q nonequal?
True
Let u = -11 - -9. Suppose -12*q + 40 = -7*q. Let o be q + -13 - 1*-1. Which is smaller: u or o?
o
Suppose 54 = 10*n - 16. Which is bigger: n or 0?
n
Let c(u) = u - 1. Let h be c(0). Suppose 23*a = -5*f + 27*a - 22, -2*a = -f - 8. Is h < f?
False
Let d = -22 - -15. Let l = d + 10. Suppose -i = -l*i - 4. Are i and -0.1 equal?
False
Let j = -119/3 + 7253/183. Is 1 at least j?
True
Let m be (-12)/(-21)*(4017/6 + -1). Is m < 0.1?
False
Suppose 1658 + 653 = 5*r - 4*j, r - 447 = -3*j. Suppose -2*n + r = -19*n. Is n less than or equal to -26?
True
Let z = 65 - -48. Let j = z + -115.5. Is j != 1?
True
Suppose 79*m = 49837 + 1197. Is m not equal to 647?
True
Suppose -5*x = -0*x + 90. Let c be (-8)/(-36) - (-202)/x. Let l = c + 11. Which is smaller: 3/5 or l?
l
Let a(o) = o**2 - 2*o + 1. Let h be a(1). Suppose -4 = 2*y - h. Which is smaller: y or -3?
-3
Let g = -0.1 - -0.1. Let n = -3.2 - -4.18. Let s = n - 0.88. Which is greater: s or g?
s
Suppose -2*x - 644 = -5*m, 0 = -5*x - 5*m - 842 - 733. Let p = x + 1261/4. Suppose 3 = -3*h - 0. Which is greater: h or p?
h
Let f be (-624)/96*-2*1. Which is smaller: -10 or f?
-10
Let h = 83 - 101. Let m be 2 + h + (1 - (0 + 0)). Are -17 and m unequal?
True
Let i be (-99)/(-66) - (-2481)/(-1686). Is i > -1?
True
Let o(d) = d**3 - 7*d**2 - 2*d - 10. Let u be o(7). Let l = -16 - u. Is 8 bigger than l?
False
Let z = 0.056 - -0.034. Let g = -0.15 + z. Is g at least 1?
False
Let p(k) = k**2 + 4*k - 6. Let v be p(-4). Let w(i) = i**2 + 7*i + 19. Let g be w(v). Does 13 = g?
True
Let f = 6 + -2. Suppose 3*w + f - 1 = 0. Which is greater: -7/6 or w?
w
Let h be 16/12*-6*(-37)/4. Is h greater than 74?
False
Let g be (-3 + 55/10)*(0 + 2). Let n(x) = x**3 - 4*x**2 - 7*x + 9. Let l be n(g). Is l less than or equal to 5/12?
True
Let y = 9 - 15. Let i be y/(-156)*454/(-7). Let n = i - -25/13. Which is smaller: 0 or n?
n
Let p(d) = -2 + 2*d**3 + 4*d**3 + 4*d**2 - 7*d**3 + 3*d + 2*d. Let v be p(5). Are v and -4 equal?
False
Let t = -1086 - -1076. Let s(x) = 10*x. Let k be s(-1). Is t at most as big as k?
True
Let t be (-2)/((-3)/(207/(-48))). Let v = t + 3. Suppose 4*d - 1 = -w, 7*d - 6*d = -4*w - 11. Which is bigger: v or d?
d
Let r be 12/(-36) + 179/(-3). Which is smaller: r or -62?
-62
Suppose -16*l - 5 + 21 = 0. Which is smaller: -2/219 or l?
-2/219
Let s(o) = -2*o**2 - 1. Let c be s(2). Let d = c + 7. Let z be 