 0.1 != p?
True
Let x be ((-80)/(-32))/((-25)/(-260)). Which is smaller: 29 or x?
x
Let b = 191 + -191.1. Which is smaller: b or -3/4?
-3/4
Let o = 782 + -771. Is o at most 5?
False
Let o = -1.8 - 1.2. Let z = -3.03 - o. Which is greater: -2 or z?
z
Let n = 34.014 + -0.014. Let w = -36 + n. Does 7 = w?
False
Suppose 0 = 4*o + 16, -5*o + 18 - 530 = 4*c. Is c smaller than -122?
True
Let d be ((-1)/2)/(253/(-44) - -6). Is -537 bigger than d?
False
Let y(v) = 3*v**2 - 15*v + 11. Let h(c) = -c**2. Let k(x) = 4*h(x) + y(x). Let m be k(-16). Let f be 60/(-50) + (-1)/m. Is f less than or equal to -1?
True
Let i(x) = -3*x + 42. Let s be i(15). Is 3.4 < s?
False
Let q be 15679/(-450) + 3/(-2 - -3). Let c = 191/6 + q. Is c at most as big as 0?
True
Let n(g) = -g**3 + 13*g**2 - 23*g + 15. Let o be n(11). Let p(q) = q**3 - 5*q**2 + q + 11. Let u be p(o). Which is smaller: u or -3/10?
u
Let p = 72 + -36. Let v be 102/(-15)*(-5)/1. Is v greater than p?
False
Let o(y) = -y + 1. Let z be o(-4). Let t(i) = -i**3 + 5*i**2 + i. Let j be t(z). Suppose 33 = j*a + 3. Which is bigger: a or 0?
a
Let u = 87 - 80.6. Let z = u + 3.6. Which is bigger: z or 0?
z
Suppose -3*f = -15, -5*n = -3*n + 4*f - 44. Let z = 6629 + -6618. Are n and z unequal?
True
Let p(f) = -2*f**2 - 5*f - 2. Let z be p(-3). Let k be (-6)/(3*z/25). Is 10 greater than or equal to k?
True
Let h = -525.1 + 482. Let f = -43 - h. Is 1/28 less than or equal to f?
True
Let s(b) = -85 - 76 + 6*b + 169. Let j be s(4). Which is bigger: j or 31?
j
Suppose -9*v + 8*v - 8 = 0. Is v >= -4?
False
Suppose m - 12 = -2*t + 6*m, t = 2*m + 6. Suppose 10*a - 20 = t*a. Is a at most 7?
True
Suppose -5*u = -5*x + 30, -2*x + 3*u - 11 = -27. Suppose 3*r + 119 = -5*n, 76 = -0*r - x*r - 4*n. Which is bigger: -50 or r?
r
Let t = -4592/79 + 58. Which is smaller: 1 or t?
t
Let j be 9 + (-5 - (1 + -3)). Let y be 62/j - (6 + -5). Which is smaller: 10 or y?
y
Let m(v) = -6*v + 2. Let z = -7 + 9. Let n be m(z). Let w be n/(-55) + 40/(-99). Is 13 greater than or equal to w?
True
Suppose 4*g = 6*g + 5*o + 115, -5*o + 110 = -3*g. Let f = -31 - g. Which is smaller: f or 2/7?
2/7
Let s be ((-92)/10 + 10)/(1/(-450)). Is s smaller than -359?
True
Let a(u) = 2*u**2 - 5*u + 8. Let w be a(4). Suppose 5*p - p = -w. Let g = -19 + 13. Does g = p?
False
Suppose n + 2 = 0, l - 3 = 2*l - n. Let j be l*2/(-10) + -2. Which is smaller: j or -22/9?
-22/9
Let j = 10 + 6. Suppose l + 6 = 2*u + 10, 4*l = j. Let b be (-2)/28 - (-2)/(-4). Which is bigger: b or u?
u
Let x = -107 + 107.1. Let t = x + 8.9. Is 0 at least t?
False
Let q = -394 + 139. Let z = -6883/27 - q. Is -1 equal to z?
False
Let d = 13450 + -13447. Let t = 19 + -21.3. Which is smaller: t or d?
t
Let l be 0/(-5) - 78/(-105). Does 0 = l?
False
Let j be (3/9)/(52/39). Is j at least as big as 1/113?
True
Let y = -4 - -42. Let a = y - 37. Is -65 < a?
True
Suppose -243 = -31*t + 67. Is t less than 168/17?
False
Let o = -69 + 81. Let n be o/(-12) + -2 + 2. Does n = -15?
False
Suppose -4*i - 8 = 0, 4*y + 2*i - 19 = 37. Which is smaller: 14 or y?
14
Let d be 1 - -2 - (-5 - -8). Suppose 4*r - 2*q - 12 = d, -r + 5*q = -3*r + 18. Let t be ((-2)/r)/(9/6). Which is smaller: 2/19 or t?
t
Let u be (-12)/(-2)*(-6 + (-6083)/(-1012)). Let w = -6 + 6. Which is greater: w or u?
u
Let t = 0.1 + -0.05. Let f = t - -0.25. Let h = -0.0331 - -0.0331. Which is bigger: h or f?
f
Let x = -3 + 5. Suppose -55*z + 64*z = 198. Let l be ((-40)/z + x)/2. Which is bigger: l or -1?
l
Let u = -8 - -8. Suppose -22 = -u*c - 2*c. Suppose 0 = -l + 3*x - c, 0 = 2*l - 2*x - 1 + 11. Is l equal to -1?
False
Let h = -18 - -20. Let b be -12*2/(8/(-6)). Let u be h + (-4 + 5)*b. Is u != 20?
False
Let d(n) = -2*n**3 - 15*n**2 + 18*n + 3. Let z be d(-9). Which is smaller: 83 or z?
83
Suppose 0 = 6*q + 409 + 911. Let s be (2/5 - q/(-50)) + -2. Is -5 not equal to s?
True
Let h = -1 + 7. Let a be (20/h)/((-12)/(-45)). Let w = -12 + a. Which is smaller: w or 3/2?
w
Let n = 189 + -188.8. Do -5 and n have the same value?
False
Suppose 113 = 2*l - 3*y - 173, 2*l - 282 = 5*y. Are 145 and l nonequal?
True
Suppose -o - 24 + 12 = 0. Is o greater than -21?
True
Suppose 2*g - 2*m - 8 = 4*g, m = 2*g + 2. Let q = -10 - -14. Is g greater than or equal to q?
False
Let b be 8 - -30*20/(-66). Is 2/27 smaller than b?
False
Let a = -33549/4 - -8447. Which is smaller: a or 61?
a
Suppose -13*t + 383 = -280. Is t > 49?
True
Let k = 168 - 168. Which is smaller: 1/312 or k?
k
Let h be (19 + (-60816)/3201)*(-2)/(-2). Which is smaller: 0 or h?
0
Let h = 133 + -125. Let p = -2 + 8. Is p not equal to h?
True
Let f(o) = -3*o**2 + 14*o - 3. Let z be f(9). Let b = z + 93. Is b at most -24?
True
Suppose -3*b - 22 = -10. Let x(o) = -o**3 - 6*o**2 - 5*o + 8. Let r be x(b). Let i(u) = u**2 + 6*u - 1. Let s be i(-6). Which is smaller: s or r?
r
Let r = 102 - 103. Suppose -12 = -4*t, -v - 12 = -2*v - 4*t. Is r smaller than v?
True
Let k(c) = 5*c**2 - 1. Let f be k(1). Suppose -f = 4*v + 8. Let a be (4 + -7)/(v/1). Which is bigger: 6/7 or a?
a
Suppose 4*w = -3*q + 54, 5*q = -w - 0 + 5. Let g = w - 23. Suppose 0 = 4*l - 2*y + 40, 46 = -7*l + 3*l + 5*y. Is g <= l?
False
Let z = 80467 - 51382. Let m be 6/10 + (-17241)/z. Is 1 at least as big as m?
True
Let y be ((-3)/(-26))/((-3)/(-1)). Suppose 0 = -4*a + 2*a. Which is greater: y or a?
y
Let r = -26 - -28. Let h = r + 12. Which is smaller: 15 or h?
h
Let f = 22 - 26. Let b(c) = -c**2 + 6*c - 5. Let w = 9 - 3. Let k be b(w). Which is bigger: k or f?
f
Suppose 29*s - 15 = 24*s. Let k(n) = 5*n + 1. Let a be k(-3). Let t be 4/(-6) - a/3. Do t and s have different values?
True
Let n be 1/((1240/304)/(-5)). Does -1 = n?
False
Let t = -253 - -264. Let o be ((-3)/6)/(-1)*-6. Let u be (15/(-2))/(o/4). Which is smaller: t or u?
u
Let w = -54818/725 - -92/25. Let y = w + 72. Which is bigger: 0 or y?
y
Suppose -3*i = 3*s + 6, 5*i + s = 3*i + 1. Suppose 20 = -5*v, 0 = -u + 4*v + 17 + 9. Let p = -14 + u. Which is smaller: i or p?
p
Let s = -42 + 17. Let j = s - -21. Let c be 16/j*2/5. Do c and -3 have different values?
True
Let y = 470 - 471. Let g = 13.7 - 8.6. Do y and g have the same value?
False
Let d = 7 - 9. Is d equal to -32?
False
Let d be 1*-3*22*(-2)/(-12). Let s be (22 + (-6)/(-3))/d. Which is greater: -1 or s?
-1
Let w(k) = 2*k + 44. Let p be w(-23). Which is smaller: 110 or p?
p
Let g = 1 + -5. Let p = -7 - g. Let n(l) = -10*l - 62. Let k be n(-6). Which is greater: k or p?
k
Suppose -8*r + 6*r + 2 = -s, -3*s = 4*r + 6. Let d be 2/(-4) + 39/6. Suppose -9 = d*f - 3*f. Which is smaller: s or f?
f
Let m(r) = -r**3 + 5*r**2 + 5*r + 8. Let o be m(6). Suppose 3*p = -4*x - p - 12, -3*x + 4*p = 30. Are x and o nonequal?
True
Let x be (-12)/55 - 10/55. Let r = -2.48 - -2.2. Let g = r + 1.78. Is g smaller than x?
False
Let z be (1/2)/((-98)/(-28)). Suppose -5*h = -h - 20, 0 = -2*y - 4*h + 24. Suppose 0*v + p = y*v + 5, v - p = -5. Which is bigger: v or z?
z
Let a = 9 + -13. Let t be (-48)/(-32)*a/(-302). Let h = t + 3165/302. Which is smaller: 11 or h?
h
Let m = -568 + 563. Which is smaller: m or 2/91?
m
Let k be ((-30)/90)/((-9)/(-1)). Is k greater than -0.07?
True
Let r(z) = 2*z - 10. Let l be r(6). Let x = l + -9. Is -8 less than x?
True
Let x = -0.481 - 0.319. Is -0.09 greater than x?
True
Let n = -72 - -106. Let f = -27 + n. Is f equal to -5?
False
Let h = -10 + 2. Let m be 6/h + 2 + 18/(-8). Let w = -8/9 + 14/9. Which is smaller: w or m?
m
Let w(b) = 13*b - 195. Let z be w(28). Is z greater than or equal to 172?
False
Suppose -5*z + 166 = -4*a - 152, 2*a = 4*z - 162. Is -77 less than or equal to a?
True
Suppose -109 = -4*w + 3*w. Let h = w - 552/5. Let f be (4/10)/((-13)/(455/14)). Is h greater than f?
False
Let m = 2509646/739 + -3396. Let y = -7404/5173 + m. Is y at most as big as -2?
False
Let j be (-84)/(-70)*(-2)/6*-5. Suppose -4*s + 16 = -d, -3*d + j*d = 5*s - 20. Which is smaller: s or -2?
-2
Let j = 72 + -82.4. Let g = j - -2.4. Which is smaller: 1 or g?
g
Let l(y) = y**2 - 6*y - 25. Let j be l(9). Suppose 16 = 2*o - 0*o - 4*r, 0 = -5*o + j*r + 32. Let q = 22 + -14. Which is bigger: q or o?
q
Let c be 0/((-1)/(-1) + -3). Suppose c*u + 5*u - 5*g = -80, -3*g = 5*u + 48. Let k be 3/((-2)/(u/9)). Which is smaller: k or 3/5?
3/5
Let 