-11*m = 5*m + m + 119. Is 0.228 bigger than m?
True
Let n = 0.047 + -0.247. Let u = n + 5.4. Let x = u + -6.2. Is 21 != x?
True
Let m be 1 + 0 + 2 - (-711)/3. Let o be (-2)/17 + m/595. Which is greater: 13 or o?
13
Let m(k) = k**2 - 5*k + 1. Suppose -3*z = 4*t + 13, -7*t + 2*t - 23 = -3*z. Let g(p) = -3*p - 4. Let r be g(t). Let c be m(r). Is c > 26?
False
Suppose -c = 5 - 18. Suppose 2*y - 67 + c = 3*l, -3*l + 96 = 3*y. Suppose 7*j - y = -9. Does 7/2 = j?
False
Let t be 26/(-5)*(1 - (-4 + 10)). Suppose -2*c + t = -0*c. Is 14 < c?
False
Suppose -9*s = 6*s - 1395. Let m = 94 - s. Is 3/106 not equal to m?
True
Let r = 1439 + -2293. Let d = r - -824. Let j = 0 - -1. Is j smaller than d?
False
Let c be (-15)/(-25) - (-51)/15. Is 53/15 < c?
True
Suppose x - 4*q = 3, -6 = -x - 11*q + 14*q. Let t be 4/(-20) + 408/x. Which is smaller: t or -4?
-4
Suppose 0 = p - t - 8, -3*p = 4*t + t - 48. Let j = -29 - -31. Suppose -5*w - 20 = -4*x, 3*x + 5*w - 42 = j*w. Which is greater: p or x?
p
Let a = 0.1 + 0.1. Let m = -381.3 + 377. Which is bigger: a or m?
a
Let k = -4537.9 + 4538. Is k greater than 1/99?
True
Let t = -542 - -262. Let y = t + 280. Which is smaller: y or 143?
y
Suppose 15*u = 9*u + 606. Suppose u*v + 72 = 104*v. Let m = -18 - -44. Which is smaller: m or v?
v
Let b be 3/(-15) + 9/(-5). Let h be (-7)/b*(-12)/(-42). Is 4/163 at most h?
True
Let n = -1599 + 4741/3. Let o be (2/4)/(8/928). Suppose 5*s + 86 = -4*u, 3*s - 4*u = -0*u - o. Which is greater: s or n?
s
Suppose 14*j - 194 = 156. Suppose -20 - j = 5*m. Which is smaller: m or -1?
m
Let p(o) = -525*o - 967. Let g be p(-2). Is g < -49?
False
Let i(n) = -40*n**2 + 11*n - 58. Let p be i(4). Let o be p/648 + -4 - 1*-5. Which is smaller: -1 or o?
-1
Suppose -y + 32 = -4*h, 0*h + 28 = 2*y + h. Let a(v) = 4*v - 92. Let c be a(y). Is c <= -29?
False
Let z = -14225/1054 - 2/527. Let s = 6.891 + -7.891. Do s and z have different values?
True
Suppose w - 508 = 6*w - 4*l, -3*w - 4*l - 324 = 0. Let s = 88 + w. Which is smaller: s or -14?
s
Let a(g) = 3*g + 1. Let p be a(4). Let d be 7 - ((-6)/15)/((-12)/(-204)). Are d and p non-equal?
True
Let m = -3.6947 + 3.708. Is m < -2?
False
Let m be (84/(-16))/((-3)/12). Let s be 2/(-7) + -3 + 90/m. Is 31/16 > s?
True
Let a(o) = 10*o**3 + 5*o**2 + 46*o - 160. Let w be a(6). Are w and 2456 unequal?
False
Suppose 2*j = -2*v - 1078, 36*j - 2150 = 4*v + 34*j. Which is smaller: -534 or v?
v
Let o = -1425/116 + -28/29. Let h = o - -145/12. Which is smaller: -3/2 or h?
-3/2
Suppose -97*u + 97*u - 3*c = 0, 3*c = -3*u - 4293. Is -1433 equal to u?
False
Let q(z) = -5*z. Let l be q(-4). Suppose 2 = 2*n - 2*m, 0 = -4*n + 3*n + 2*m - 3. Suppose -5*p - g + 20 = -6*g, l = -n*g. Is 1/46 > p?
True
Let g be 3 + 3767/(-1206) + -13*(-23)/2691. Is 0 bigger than g?
True
Let s = -120 + 121.23. Let t be (-80)/15*84/(-720) - (-4)/(-18). Does t = s?
False
Let j be (408/(-32) + -5)*-24. Let f = 146 - j. Is -1 <= f?
False
Suppose 9*a - 16 = 11. Suppose f + 36 = -2*y, 2*f + a*f - 48 = 2*y. Suppose -z = 2*z + 60. Which is bigger: z or y?
y
Let o = 964 - 964. Is o bigger than -3/4658?
True
Let h(d) = 7*d - 7 + 3 - 4*d - 11. Let m(k) = -2*k + 8. Let b(p) = -3*h(p) - 5*m(p). Let y be b(-19). Which is smaller: -12 or y?
y
Suppose 42 = 13*b - 6*b. Let q be 2/b*9/(-6)*-2. Let n be (2/(-26))/((-2)/(-2)). Is n at most q?
True
Let b = -7604 + 7599. Let i = -13 - -5. Let n be (-4)/6*(-12)/i. Which is greater: b or n?
n
Let o be (-3804)/420 + (-6)/(-105). Suppose 44 = -2*r + v, 9 - 25 = r + v. Which is smaller: o or r?
r
Let v be 27/(-36)*(-4740)/(-45). Which is smaller: -89 or v?
-89
Let p(r) = -r**2 + r + 24. Let z be p(-4). Suppose 9 = -5*a + 9*d - 11*d, -6 = z*a + d. Do -8/19 and a have different values?
True
Let b = -16 - -20. Suppose -b*v - 5*l = -3 - 2, -l = 5*v - 1. Let i be 10/(-15)*(-2)/100. Which is greater: v or i?
i
Let f be 10/(-6) + 1 - 32/(-24). Let p = 2596 - 64903/25. Which is greater: f or p?
f
Let o = -184 + 179. Let r be 25/5 + (0 - o/7). Is r bigger than 6?
False
Let p = -242 + 250.7. Let w = p - 9.5. Is 19 >= w?
True
Suppose 0 = -2*n - 2*l + 68, 5*n - 4*l + 2*l = 198. Do 334/9 and n have different values?
True
Suppose -v - 4*t + 71 - 50 = 0, -4*v + 5*t - 21 = 0. Which is smaller: -30/1457 or v?
-30/1457
Suppose 13*y - 10*y - 2*x + 971 = 0, 3*x = -y - 309. Let l = 1607/5 + y. Is -0.15 < l?
True
Let p = 391.81 + -258.81. Let a = -1.1 - -1. Is p at least a?
True
Let h = 177 - 366. Let o be (-54)/h - 416/(-14). Suppose 2*x + o = -14. Do x and -20 have the same value?
False
Let j = -438 - -438.087. Let g = 4.087 - j. Let n = -4 + 0. Are g and n non-equal?
True
Suppose 46*f = 42*f + 12. Suppose -f*w = -87 + 264. Let g = -60 - w. Which is bigger: g or -8/9?
-8/9
Let q = 30116 - 13281175/441. Which is bigger: q or 1?
1
Let g(b) = -31*b + 88. Let k be g(3). Let v be (-2)/(-51)*(-9)/1440*k. Is v >= 0?
True
Suppose 4 = -f + 3*f. Let a be (27/6)/(f/4). Let v be a/(-63) - (-1)/7. Is v greater than or equal to 0?
True
Let n = -493 - -490.59. Let a = n + -0.69. Which is smaller: 2/7 or a?
a
Let r = -807962/49 + 16489. Let u = 0.7 + -0.4. Is r greater than or equal to u?
False
Suppose 7*h - 3*y = 2*h + 24, 4*h + 2*y - 6 = 0. Let z be (-76)/18 - (-12)/h. Is -1.04 less than z?
True
Let h = 18 + -17.74. Let j = 13.9 + -11.93. Let a = 1.87 - j. Is a at least h?
False
Suppose 0 = -15*x + 65 - 20. Suppose x*w = -3261 + 546. Let h = w + 35293/39. Which is bigger: 1 or h?
1
Let u = 0.2 + 20.6. Let f = u - 20.5. Are 0.17 and f nonequal?
True
Let o = 313 - 420. Let i be (-218)/4*(6 + -4). Is o at most as big as i?
False
Let j = -7.6 - -5. Let r(h) = -h**2 + 7*h + 10. Let v be r(8). Which is bigger: v or j?
v
Let s be (-3)/672 - (-2)/7. Suppose -751*f + 1818*f - 907*f - 160 = 0. Is s bigger than f?
False
Let d be ((-2)/78)/(415/(-6) - 1). Let y = d - -10596/957775. Let g = -3/175 - y. Is g bigger than -1?
True
Let i = 12002 + -12001.8. Which is smaller: i or -6/173?
-6/173
Let v(b) = 146*b + 1424. Let h be v(-10). Which is smaller: 30 or h?
h
Let n be 2 - ((-6)/19 - -2). Suppose -41*q + 23 = -64*q. Which is bigger: n or q?
n
Let r be ((-4)/30)/(3/(-54))*105/14. Do r and 6 have different values?
True
Let z(v) = -v**3 - 5*v**2 + 23*v + 18. Let l be z(-8). Let f(m) = -m + 25. Let x be f(l). Are x and -1 unequal?
False
Let d = 2.161 - 24.381. Let q = d - -22. Let v = 0.48 - q. Which is bigger: v or 1/2?
v
Let m = 2/1347 - 19309/1347. Let k be 2 - (-259 - 13)/(-16). Is m greater than or equal to k?
True
Let y be (((-252)/45)/(-14))/(2 + (-152)/164). Is 1 not equal to y?
True
Suppose -14*x + 93 = 17*x. Let l be (3 - (-131)/(-44))/(x/18). Is l <= 5?
True
Let f = 40777507/612 + -266495/4. Let c = -1249/153 - -33/17. Let r = c + f. Which is bigger: 2 or r?
2
Suppose 8 = -2*g, -2*u + 2*g = -0*u - 16. Suppose -3*w = -u*w. Suppose -10*r + 9*r - 8 = w. Is -4 less than r?
False
Suppose 36 = 6*k - 42*k. Let n = -18 + 4. Let r = n - -14. Which is bigger: r or k?
r
Let a be 5 + -15 - (-434)/42. Let p = -0.02 + 8.42. Let n = 1.6 + p. Which is bigger: a or n?
n
Let p(d) = -2*d**3 - d**2 + 2*d - 11. Let b be p(0). Let c be -3 + b/((-2596)/672). Is 0 bigger than c?
True
Let x = -295 - -289.73. Let l = 5 + x. Let j = -2.27 - l. Which is greater: j or -1/2?
-1/2
Let y be 8/12 + (4 - (-268)/12). Let q be (112/140)/((-59)/20 - -3). Which is smaller: y or q?
q
Let w = -20785 - -20774. Let r be (3 + -4)*2/(-4). Are w and r equal?
False
Let t be (-9)/(-342)*4/214. Is 1 >= t?
True
Let x(q) = 66*q + 50. Let g be x(-6). Let f = g - -392. Which is smaller: f or 47?
f
Let s = 963405/139 - 6931. Let b = 51/3058 - s. Is b > -1/2?
True
Let y be (14/42 - 15)/(1/3*1). Is -34 at most y?
False
Let n = -146.58 - -139.46. Do n and 2 have different values?
True
Let g = 11801 - 11799.44. Which is smaller: g or 1.9?
g
Let f = -36153 + 181378/5. Let a = 123 - f. Which is bigger: 1 or a?
1
Let x = -65 + 36. Suppose 0 = r - 5*c + 14, 5*r + 37*c - 38*c + 142 = 0. Are x and r equal?
True
Let p(f) = -898*f + 1797. Let t be p(2). Is t smaller than 4/253?
False
Let v = -6841.5 + 6916. Are -0.1 and v unequal?
True
Let x = 3542 + -456908/129. Is 1 at most x?
False
Let r = -13 + 21. Suppose 186*l = -262*l. Which is bigger: r or l?
r
Let c = 9379 - 65549/7. Le