reater: 1/18 or l?
1/18
Let k = -0.286 - -1.286. Let m be 4/(-3)*(-3)/(-12). Is m != k?
True
Let v = -0.2 + 0.1. Let y = v - 19.9. Which is smaller: 2/7 or y?
y
Let b = -2144 - -1819. Are -1/3 and b non-equal?
True
Let x be (-1848)/(-49) + 2/7. Let h = 31 - x. Which is smaller: h or -8?
-8
Let v be 29 + ((-4)/(-18) - 160/72). Which is bigger: v or 30?
30
Suppose 0 = 7*i + 6 - 13. Which is greater: -2/39 or i?
i
Suppose -7 = 2*y - 3. Let z = y - -9/5. Is z at most 1?
True
Let s = 5.9 + -5.42. Let g = s + -0.68. Is 10 at most g?
False
Suppose 2*s = -5 - 1. Let w = s + 23/8. Let o be 2/25 - ((-2292)/100 + 24). Which is smaller: o or w?
o
Let k(x) = 5*x**3 - 3*x**2 - 2*x - 2. Let y be k(-2). Let j = 22820 - 22820.1. Is j >= y?
True
Let w = 22 + -11. Let f = w + -11.25. Let x = -0.15 - f. Which is greater: -2 or x?
x
Let d be ((-4)/10)/((-18)/810). Suppose x = -5*s - d, -4*x + 3*s = 5*s. Which is greater: x or 0.13?
x
Let u = 13 + -28. Let h be ((-3)/(-4))/(u/10). Suppose -3*q - 67 = -4*y, -2*y = -q - 4*q - 93. Which is greater: q or h?
h
Let g be ((-21)/55)/((-1)/(-5)). Is g < -1?
True
Let j(t) = -5*t**2 - 12*t + 23. Let q be j(11). Is q at most -1425/2?
True
Let c = 3 + -4. Let j = -1819/155 + 59/5. Do j and c have different values?
True
Suppose 0 = -24*c + 17*c + 14. Is c equal to -4?
False
Let n(o) = o**3 - 2*o**2 - 1. Let v be n(2). Which is greater: 9 or v?
9
Let u(c) = -c**2 - 10*c - 19. Let p be u(-7). Let r = 7 - 7. Let m be 2*(r + (-2)/2). Is m smaller than p?
True
Suppose 0*n + n = -5*y - 4775, -5*y = 2*n + 9540. Let b = n + 52478/11. Let s = b - 1553/275. Which is smaller: s or 0?
0
Let t = 0 + -1. Let s be 11 + -8 - (35 + t). Let j = s - -278/9. Is j at most 1?
True
Let f be (-3)/(144/255) - (-2 + -3). Which is bigger: 1 or f?
1
Let h(j) = -8*j + 49. Let o be h(-20). Let w be 2/11 - o/484. Is w > 0.01?
False
Let k = -5 + 7. Suppose -9 = k*q - 1. Let g be ((q/(-18))/2)/5. Is g less than -1?
False
Suppose 15*j + 21 - 36 = 0. Which is smaller: j or 70/13?
j
Let t = 4 + -6. Let d be (-684)/99 + (-7)/(-1) + 37/(-44). Which is greater: t or d?
d
Suppose -12 = -q - 3*q. Suppose 14*v = 15*v - 1. Is q bigger than v?
True
Let f = 6043/4598 - 49/38. Let c = 569/1452 + f. Do 0 and c have the same value?
False
Let g = -56129/462 - -243/2. Which is smaller: 0 or g?
0
Let u = -90 + 95. Let d be (80/(-3))/u*45/(-12). Is 20 smaller than d?
False
Suppose -3*l - 12 = -4*l + 4*c, 3*l = -c - 16. Suppose 0 = -12*a + 9*a + 27. Let r = 4 - a. Which is bigger: l or r?
l
Let k = 28.76 - 15.97. Let j = k + 0.21. Let h = j - 13.1. Is 0 < h?
False
Let p(k) = -15*k - 34. Suppose -2*f = 5*h - h + 22, 4*f + 11 = 3*h. Let i be p(f). Which is smaller: i or 42?
i
Let q = 14 - 12. Which is bigger: -4/59 or q?
q
Let l = 8 - 11. Let c be ((-76)/(-532))/(2/4). Is c less than l?
False
Let g = 17700/31 + -571. Which is bigger: 0.3 or g?
0.3
Let s be ((-3)/4)/((-2)/(-12)*13). Which is greater: -1 or s?
s
Let n = -121 - -121. Suppose n = -12*f + 80 + 124. Let a = -1 + 18. Is f at most a?
True
Suppose -14 = 315*m - 322*m. Which is smaller: m or 5/2?
m
Suppose 2*x = x. Let z(f) = 4*f**2 + 22*f + 16. Let y be z(0). Do x and y have the same value?
False
Let q be -1 + 3 - (27 + 8). Let w = -35 - q. Let p = -20 + 81/4. Which is greater: w or p?
p
Let n(u) = -2*u**2 - 6*u**2 + 7*u**2 + 3 - 10*u. Let c be n(-10). Suppose 0 = -5*j + r - 39, -c*j - 2*r + 5 = 18. Is -8 != j?
True
Let p be 1/(1*(-3)/48*-4). Suppose -2*h + p*n - 10 = 0, -h + 3 = -2*h + n. Which is smaller: -14/15 or h?
h
Let z(b) = -b**2 + 7*b - 30. Let j be z(12). Let l be (-51)/j - (-1)/(-6). Is -0.007 not equal to l?
True
Suppose 5*t = -3*n - 15, 0 = -5*n + t + 3 - 0. Suppose y = -n*y. Let z = -5249 + 5250. Is y not equal to z?
True
Let v = 93 + -80. Is v less than or equal to 16?
True
Let b be 1/((-63)/(-3*1)). Let s be -2*((-1)/(-2) + 13 + -14). Are s and b unequal?
True
Let y be -1 + 5/(-15)*-21. Let j be 1*(-1 - (y - (-12)/3)). Is j != -1?
True
Let o be 396/(-15)*1/(-2). Let r(t) = t**2 - 39*t + 374. Let l be r(15). Which is greater: l or o?
l
Let n = -302 - -356. Which is smaller: n or 53?
53
Let i = 0.523 + 30.477. Do i and 5 have different values?
True
Let d be 4 + 168/(-44) + (-271)/(-22). Is 33 smaller than d?
False
Let h = 0.263 + 11.737. Let w = 0.5 - -0.5. Are w and h equal?
False
Let z = -14045 - -14035. Let o(l) = -4*l - 1. Let g(m) = 2*m. Let t(f) = 5*g(f) + 3*o(f). Let h be t(4). Which is smaller: z or h?
h
Suppose -12 = -3*j, 5*j = -o + 2*j + 6. Let k be (2/o)/((-10)/90) + -3. Is 2/31 >= k?
True
Suppose 0*q + 160 = 5*i - 2*q, 45 = 2*i + 3*q. Suppose 0 = -2*c - i - 10. Let y be (-15)/c*16/186. Which is bigger: -1 or y?
y
Let v = 0.115 - -73.885. Is -0.2 bigger than v?
False
Suppose 0 = -p - 5*o - 110, 2*p = -4*o - 20 - 182. Is -191/2 bigger than p?
False
Suppose 223*o - 216*o = -728. Which is smaller: 1 or o?
o
Let f(v) = -v**3 + v**2 + 2. Let l be f(0). Suppose -3*y + c + 3*c - 22 = 0, -4*c = -4*y - 24. Let b = l + y. Is b less than 0?
False
Let d(z) = -z - 8. Let g be d(-11). Let v be (-2*39)/(-2) + -3. Suppose -4*u + v = 12. Which is smaller: g or u?
g
Let h = 0.8 + -14.3. Let w = h + 14. Suppose 0 = v + 2*v - 6. Which is smaller: v or w?
w
Let j be -8 + 10 + 31*12/3. Which is smaller: j or 127?
j
Suppose g = -0*g - 3. Let a(c) = c**3 + 3*c**2 + 2. Let l be a(g). Which is bigger: 1 or l?
l
Suppose -9*u = -34*u + 9750. Which is bigger: 391 or u?
391
Let r = 5.5 - 2.9. Let i = r - 2.55. Is -1 >= i?
False
Suppose 3*f - 25 = -5*u - 2*f, 2*f = -3*u + 10. Is u smaller than 2/457?
True
Suppose 3*k + 96 = -3*m, 50 = -2*k - m - 16. Let u = -42 - k. Is u not equal to -10?
True
Let u(h) = -h**2 - 13*h - 40. Let s be u(-5). Is 12/13 >= s?
True
Suppose 2 = -f + 8. Suppose -2*v + 9*q + 21 = f*q, -v - q = 2. Suppose l - 1 = 3*k + 13, 4*k + 17 = v*l. Are -8/11 and l unequal?
True
Let d be 2/(-5*1/(-1320)). Let i be ((-2)/4)/(12/d). Let t = i + 16. Which is bigger: t or -3?
-3
Let w = 21 + -17. Suppose -8 - 4 = w*f. Which is smaller: -1 or f?
f
Suppose -q + 4 = 0, 3*m + 5*q - 41 = -0*q. Let p be 10/(-4)*17/5. Let u = 14 + p. Do m and u have the same value?
False
Let x = -20 - -55. Let f = 35 - x. Which is smaller: -2/29 or f?
-2/29
Let b be (2 - 1)/(3/15). Suppose -4*o - 5*s + 7*s + 66 = 0, 3*s + 81 = b*o. Which is bigger: o or 19?
19
Let b be (-3 - (-3)/(-9))*12/(-24). Is b >= 1?
True
Suppose 2*x + 20 = -3*x. Let q = 1 - -10. Let m = -12 + q. Which is bigger: m or x?
m
Let g(j) = j**2 - 14*j + 31. Let p be g(12). Suppose -5*h + 128 = -h. Suppose 2*o - 2 = 5*q + 4, 5*o - 4*q - h = 0. Are o and p equal?
False
Let b(p) = p**3 - 10*p**2 - 12*p + 1. Let q be b(11). Let y be q/12 - (-4)/12. Which is bigger: y or 17?
17
Let c = -59 + 104. Suppose c*f + 40 = 41*f. Are f and -15 equal?
False
Let x = 72 + -87. Let s be 15/(-2) + (-10)/(-20). Is s less than or equal to x?
False
Let p = 14/13 + -151/104. Let g = -113 + 80. Let v = 32 + g. Is p not equal to v?
True
Let k = 1.075 - 0.075. Let w = 0.15 + 2.85. Which is greater: w or k?
w
Let f be 11 + -13 - 1/(-27)*50. Is 1 at least f?
True
Let o be -2 + (6 - -6)/(12/32). Are 24 and o nonequal?
True
Let x = -0.39 - -0.11. Let d = x + 1.28. Let s = -0.46 - -0.4. Which is bigger: d or s?
d
Let w = 2783 + -684619/246. Let y be (1978/2460 - 0) + 0. Let t = y + w. Are t and 0 non-equal?
True
Suppose 0 = -4*y + 3*y + 4. Let i(s) = s + 9. Let z be i(-6). Suppose -3*b = 14 - 2, 40 = z*t - y*b. Are 7 and t unequal?
True
Let m be (0/(-2) + -1)/((-782)/(-213418)). Let a = 273 + m. Let h = 0 - -1. Which is greater: h or a?
h
Let w(f) = -f**2 - 14*f + 18. Let y be w(-11). Suppose 0*m + 3*m = -y. Which is bigger: m or -19?
m
Suppose 3 = s - 2*s. Let j(f) = -8*f + 4. Let d be j(s). Suppose -3*y = -4*t - 14, -4*y = -4*t - d + 8. Is 6 > y?
False
Let f(g) = g - 2. Let u be f(4). Let q(z) = z**3 + 8*z**2 - 4*z - 32. Let a be q(-8). Suppose u*j - 4 = -4*w, a = 3*j + 2 - 8. Which is smaller: 1 or w?
w
Let b be (6 - 4 - 3)*-7. Suppose 3*d = 19 - b. Are 26/5 and d nonequal?
True
Let t = 52 + -52.02. Let p be (-39)/12 + 1/4. Let x be p + 0/1 - -3. Which is smaller: x or t?
t
Let q(b) = b**3 + 4*b**2 + 2*b. Let d be q(-3). Suppose -d*l + 4*m = -8*l - 2, 4*m - 16 = 4*l. Let c be 3/(-4) - (3 + (-24)/32).