True
Let m = 762 + -591. Let l be ((-16 + 8)/8)/(1/(-173)). Do l and m have different values?
True
Suppose 28*h = 12*h + 2464. Let b = -179 + h. Is -126/5 != b?
True
Let w(p) = p**3 - 18*p**2 + p - 13. Let l be w(18). Suppose 0 = l*m + 2*b - 65, 4*b - 42 = -2*m - 0*b. Which is greater: m or 10?
m
Let x = 126 - 128.5. Are x and -64 equal?
False
Let n be ((-817)/57 + 6)*(-4)/10. Which is bigger: 98 or n?
98
Let i = 433535/20922 + 11/1902. Is 20 less than i?
True
Let q(m) = 4*m - 1. Let g = -29 + 0. Let n be q(g). Let b = 138 + n. Is b > 20?
True
Suppose 2 = 2*k - 3*m, 117*m - 37 = 5*k + 120*m. Which is smaller: -429 or k?
-429
Let a(m) = 9*m**2 + 2*m + 23. Let c be a(-5). Let u = -176 + c. Does u = 59?
False
Let o be (-2)/(15/6*(-116)/(-33785)). Is -254 > o?
False
Let b = 393 + -261. Let o be 6/b*(12 + 0). Which is greater: o or -2?
o
Let k(l) = -l**3 + 4*l**2 - 5*l + 7. Let x be k(3). Let i(m) = -m + 4. Let c be i(x). Suppose 5*j - 45 + 2 = c*v, -47 = 5*v + 4*j. Which is smaller: v or -8?
v
Suppose 0 = 130*d - 16408 + 1848. Which is smaller: d or 96?
96
Let k be 2304478/(-768174) + 1*3. Let a = k - -16376065/139668. Let d = a - 118. Which is bigger: d or -1?
d
Let f = 0.29 + -17.29. Let i = -660.444 - -660.404. Which is greater: i or f?
i
Suppose l + 3*d = 39, -4*d + 11*d - 83 = -2*l. Which is smaller: -30 or l?
-30
Let l = 137 + -161. Let f be ((-60)/l)/((-2)/4). Is -74/13 equal to f?
False
Let a be ((-186)/372)/((-2)/(-372)). Is -1220/13 at most as big as a?
True
Suppose -511*t + 10440 = -279*t. Which is smaller: 104 or t?
t
Let d = -4841 + 4832. Let s = 29.5 + -32. Is d bigger than s?
False
Let y = -419205/8668 - 1/788. Is -48 bigger than y?
True
Let v = 5931 - 5932.2735. Which is bigger: v or -1/3?
-1/3
Suppose -486 = -6*z + 5*z - 5*j, 2*j + 1390 = 3*z. Let u = z + -468. Which is bigger: u or 86?
86
Let u(w) = -3*w + 155. Let q be u(-11). Let i = q + -256. Is -275/4 <= i?
True
Suppose 4*p - 12 = 0, -5*p = -s + 21 + 47. Suppose -v + s = -9. Which is smaller: 274/3 or v?
274/3
Let c = 9/46 + 5/92. Let o = -0.8 - -1.2. Let h = 0.6 + o. Which is smaller: h or c?
c
Let z = 5/34147 - 179561/1692700937. Which is smaller: z or 0?
0
Let k be (1/6)/((-3)/(-15807)). Let p = k - 888. Let x = 25/3 + p. Is x at least -18?
True
Suppose 8*a + 3328 = 12304. Let f be a/8 - 2/8. Let u be f*3/(-219) + (-4)/(-2). Is -1 greater than u?
False
Let q = -53 + 53. Let o be 7/28 + 0 + (-118)/536. Which is greater: o or q?
o
Suppose 23*f + 811001 = -63*f - 27*f. Which is smaller: f or 2?
f
Let k = 20099 + -20099. Which is smaller: k or -3/4981?
-3/4981
Let i = -8771 - -8772. Which is bigger: 13/308 or i?
i
Suppose -459 + 531 = 8*b. Let k = -27641/90 + -229/90. Let l = 319 + k. Are b and l nonequal?
True
Let t = -6966 + 146708/21. Which is smaller: 19 or t?
19
Let r = 7.6 - 7.73. Let p be 4/4 + 624/10. Let u = p - 63. Which is smaller: u or r?
r
Let m be 1771/46*8/14. Suppose -3*a - m = 8*a. Which is smaller: a or -14?
-14
Let h be ((-15)/(-75))/(8/(-5))*-8. Is -39 > h?
False
Let f be (1074521/42)/(350/63). Let m = f + -4605. Which is smaller: m or -1?
-1
Let u = -13 + 38/3. Let l = 94.17 - 0.17. Let c = l - 93.92. Which is smaller: u or c?
u
Let z be (8 + -1)*3/3. Let q be (-1)/(-6) + z/21. Suppose -3*m + 6 = x + 2*x, -3*m - 4*x = -7. Do m and q have different values?
True
Let f(z) be the second derivative of z**3 + 7*z**2 + 77*z. Let q be f(12). Which is smaller: q or 0.3?
0.3
Suppose -24 = 19*u - 27*u. Suppose -4 + 1 = -u*s. Let n = 5 + -3. Are n and s nonequal?
True
Let m be -7 - (-110 + 4)*(18/12 - 3). Suppose -170 = w - c - c, w + 4*c = -158. Is w less than m?
False
Suppose -4*h - 27 = 53. Suppose 0 = 445*b - 471*b - 494. Let y = b - h. Is 18/11 less than or equal to y?
False
Let i be (68/(-3 - 1))/(-1). Let h = -1293 - -1309. Which is greater: h or i?
i
Let c = 659452204 + -655495593449/994. Let l = c + 723/7. Is -1 >= l?
False
Let r be ((-1)/(3/3))/1. Let g = -2 + r. Let l be (121/(-121))/((-1)/(-3)). Is l less than or equal to g?
True
Let i be ((-16)/12)/4*3. Let x be (165/(-7650)*(-12)/33)/((-22)/(-10)). Are i and x non-equal?
True
Let x be (-115926)/(-812070) + ((-232)/56 - -4). Do 1 and x have different values?
True
Let k be -6 - -6*(-906)/(-912). Let d = k + 4753/76. Which is greater: d or 63?
63
Suppose 15 + 21 = 2*l. Suppose r - s = -4*r - 2797, -4*s = 12. Let n = r + 1155/2. Which is smaller: n or l?
n
Let h = 0.7 + -0.2. Let o be (6/(-12))/(84/(-54672)). Let l = o - 325. Is h at least as big as l?
True
Let k = 449/4 - 108207/964. Let t(j) = 34*j - 101. Let f be t(3). Are k and f non-equal?
True
Let r = -19.2 + 14. Let c = -164.1 + 160.9. Let z = c - r. Are z and 3/8 nonequal?
True
Let y = -43272 + 38286. Which is greater: y or -4982?
-4982
Let h be 95/90*-22 - (-40)/180. Is 37 at least h?
True
Suppose 0 = -10*s - 1104 - 176. Let c = -131 - s. Let u be (c - (-51)/5)/((-4)/(-10)). Are 19 and u non-equal?
True
Suppose -3*u - 2*n = -9037 - 2790, 4*n + 15756 = 4*u. Is u >= 3942?
False
Let h = -1005.5 + 1003. Which is bigger: 47 or h?
47
Let w(o) = -499*o**2 + 150*o + 19. Let g be w(4). Which is greater: g or -7367?
g
Let m(x) = -34 + 13*x - 2*x + 5*x - 7*x. Let l be m(0). Which is smaller: -35 or l?
-35
Let c be (-5348)/(-448) - (-6)/96. Is 2/31 less than c?
True
Let u = -41.705 - -34.57. Let f = -0.135 - u. Which is smaller: f or 10?
f
Suppose 6*r - 14 = 16. Suppose 2*v + 3*v = -4*b + 26, 0 = 4*v - r*b + 12. Suppose v*n - 5*n + 12 = 0. Are n and 0 equal?
False
Suppose 18*n = 19*n - 58. Let j = 64 - n. Suppose j*l - 104 = 8*l. Is l greater than or equal to -53?
True
Suppose 0 = 55*l + 296*l - 39 - 312. Which is greater: 28/135 or l?
l
Let w be (6 - 5)*3 + 179. Let t be (-26)/(-39) + w/(-12). Let i(n) = n**3 + 7*n**2 + 10*n + 9. Let k be i(-6). Do t and k have the same value?
False
Suppose o - 4 + 2 = 5*j, 2*j - 10 = -5*o. Suppose 5*l - 2*b = -115, 6*l + 5*b + 92 = o*l. Suppose 5*y - 20*y = 33*y + 1104. Is l greater than y?
False
Suppose -3*g + 3*q = -21, g - q - 11 = -4*q. Suppose 5*t - 3*k + 23 = 91, -t + g = -2*k. Which is smaller: t or 14?
14
Suppose 13 = -3*u - 3*g + 8*g, 5*g - 5 = -5*u. Let i be (-64)/(-6)*21/36. Let k = -1895/306 + i. Which is smaller: k or u?
u
Let j = 0.01614871 - -0.00385129. Let q be 1*(-2)/4*0. Let a be 2/4*(q + 0). Which is smaller: j or a?
a
Let c = -28 + 292. Let n = c + -505. Let s = n + 167. Which is bigger: -73 or s?
-73
Let a(h) = 656*h + 1963. Let o be a(-3). Is -13 equal to o?
False
Let h = 8480 + -14198. Do h and 2/3 have different values?
True
Let r = -0.13 - -7.13. Let g = r - 6.89. Let p = 156 - 158. Is g less than p?
False
Let t = 15580 - 15583. Let r(o) = -o**2 + 8*o. Let m be r(8). Suppose m = -3*g + 6*g + 9. Do t and g have the same value?
True
Let s = -0.382 + 21.482. Let n = 20.37 - s. Is 2/7 bigger than n?
True
Let a = 16.7 - 15. Let x = -790 + 786. Let s = x + a. Is s != 2/9?
True
Let o(c) = -c**2 + 16*c + 35. Let q be o(18). Suppose 0 = -2*i - 5*p - 117, -2*i + i + 2*p = 54. Let f be (i/258)/(-4)*(-4)/14. Is f <= q?
False
Let g = -3607259/229 + 15752. Is 1 equal to g?
False
Suppose 5*g - 417 = 378. Let q be (-1233)/274*4/18. Which is bigger: g or q?
g
Let r = 247.96 - 244.96. Which is smaller: 273 or r?
r
Let j(u) = -25*u + 702. Let k be j(27). Let r = -0.3 + 0.26. Let p = -0.14 - r. Does k = p?
False
Suppose 0 = 4*v + 5*s - 109, -5 + 25 = 4*s. Let u = 21 - v. Let h = 76/5 + -3709/245. Is h >= u?
True
Let w be (15/90)/((-2)/(-4)). Is w equal to -19/21?
False
Let h be ((-1107)/4305)/(94 + -3). Which is greater: h or -1?
h
Let g be ((-5)/(-15))/((-1)/(-615)). Let z = g - 399/2. Which is bigger: z or -3/7?
z
Let n = 1101 - 540. Let h = n + -561. Is 3/370 bigger than h?
True
Let n = -344 - -371. Suppose 4*y + h = 4*h + n, 5*y + 3*h = 0. Which is greater: y or 7/3?
y
Let k = 48 - 41. Let s = -4 + k. Suppose 5*z + s*w + 19 = 0, -6*z - 4*w = -2*z + 20. Do z and -6/11 have the same value?
False
Let y be (-1316)/784 - (-9)/21. Are 3/2 and y equal?
False
Let a = -1.712 + -0.058. Let o = a + 24.77. Which is smaller: -6 or o?
-6
Let l = -2/11785 + -141358/365335. Let i = 122/155 + l. Which is smaller: i or -9/4?
-9/4
Suppose 4*k - 5*i = -2015, -5*k + 4*i = i + 2522. Let c = 373 + k. Is c >= -131?
False
Let j = 104 +