*j + o*j - 297 = 0. Which is smaller: j or 32?
32
Let z = -1685 + 1784.3. Let f = z + -99. Which is smaller: f or -1/10?
-1/10
Let z = 480 - 16801/35. Let c be 1*(0 - -62) - 3/(-3). Let s = 62 - c. Which is bigger: z or s?
z
Let i = 4.25 - 3.99. Which is smaller: 1/3 or i?
i
Let s be 11*-19 + -28 + 29. Is s smaller than -210?
False
Let h(m) = 2*m**2 + 12*m + 6. Let l be h(-5). Let c be l/8*-6 - 42. Which is smaller: -38 or c?
c
Suppose -6*u = -u - 35. Suppose 4*b = 12*b. Is u < b?
False
Let d = -8 + 1. Let y = -1.92 + 2.1. Let n = y - 0.08. Which is smaller: n or d?
d
Suppose -5*t = 5, 3*t - 33 = 2*p - 2. Is p bigger than -12?
False
Let x = 281 - 275. Let u = 6 - 2. Suppose -2*g + 20 = -u*a + 2*a, -5*g + 34 = -a. Are x and g non-equal?
False
Let z be 5492/1400 + (-7)/49. Let a = z + 4/75. Is a bigger than 3?
True
Suppose f + 30 = -32. Let p = f + 62. Is p smaller than 2/59?
True
Let z = -1091061284/901 + 1210945. Let x = z - -3/53. Is 1 equal to x?
False
Let t(m) = -m - 37. Let k be t(0). Let a = k + 56. Suppose -a = -4*q - 7. Are q and 4 nonequal?
True
Let h = 795 + -794. Is h smaller than -2/2199?
False
Let g(m) = m**2 + 4*m - 13. Let o be g(-7). Suppose o*i + 20 = 3*i. Which is smaller: i or 0?
i
Suppose -4*v + 4*f + 0*f = -56, 0 = -2*f - 2. Suppose u = 4*l - v, 0*u - 3*u + 3*l = 30. Is u at most as big as -9?
True
Let h be (-3)/(-6)*-16 - 5. Is 1/8 not equal to h?
True
Let i = 624832/25 + -24997. Is i > 0?
False
Let p = -0.0341 + -0.0659. Which is greater: 29 or p?
29
Let u(l) = l**3 + 2*l**2 - 4*l - 1. Let b be (-15)/6 - (-1)/(-2). Let z be u(b). Suppose -z = 2*k - 6. Are k and -1 unequal?
True
Let g = -0.5 - -0.5. Let u = 334 + -190. Let p be 4/18 + 76/u. Which is smaller: g or p?
g
Suppose q + 3*q + 8 = 0. Let g be (-6)/27 - (-191)/9. Let p = -21 + g. Is p greater than q?
True
Let f = 3.7 + -3.74. Let w = -0.86 + f. Is w at most as big as 2/7?
True
Suppose 0 = 3*i + 5*p + 3 - 1, -5*i + 42 = -3*p. Suppose -36 = -12*f + i*f. Which is bigger: f or -3?
f
Let t = 0.1326 - 0.2326. Suppose 4*i - 5*j - 7 - 8 = 0, i = -5*j - 15. Suppose -m + 3*q = 18 + 1, m - 4*q + 21 = i. Is m less than or equal to t?
True
Let v = 73.4 + -67. Let m = v + -3.4. Which is greater: 1/2 or m?
m
Let f be (-3744)/(-24)*2/(-6). Are f and -52 equal?
True
Let t = 2678 + -2682. Is t less than 0.24?
True
Let r = -52.2 - -36.5. Let t = -16 - r. Which is bigger: -2/5 or t?
t
Let v be 36 + (-1 - -2)*-2. Suppose -v + 5 = -d. Suppose 5 = 4*h + d. Are h and -7 unequal?
True
Let n be (-46)/(-3)*3/2. Does n = 24?
False
Let i be 25/(-5)*9/15. Is -65 >= i?
False
Let r be (-90)/(-27)*9/(-6). Let q = 0.04 + 0.36. Is r bigger than q?
False
Let m = 2151/1054 - 66/31. Is 0 not equal to m?
True
Suppose 6*i + 308 - 1082 = 0. Is i less than 129?
False
Suppose -30*r + 11 = -41*r. Which is smaller: r or -5/174?
r
Suppose -2*l = 2*l + 28. Suppose -n - 4*n - 3*s = 19, 3*n + 13 = -s. Is l at most as big as n?
True
Suppose -6 = 4*n - 0*n - 5*r, -2*n = 4*r - 10. Is -70 less than n?
True
Let i(v) = 3*v + 13. Let r be i(6). Suppose 3*j + 3*a = a - r, 4*j = -3*a - 43. Is -5 at least as big as j?
True
Let o = -293 - -292. Suppose -2*g - 1 = 2*g + a, -5*g - a = 0. Is o greater than g?
False
Let k(g) = -g**2 + 3*g. Let u be k(4). Suppose -i - 47 = -2*t, 0 = 2*t + 3*i - i - 50. Let c = 47/2 - t. Is u less than c?
True
Suppose -k - 25 = 5*p, 4*k + 0*k + 5*p + 25 = 0. Is k smaller than -20/89?
False
Let k(n) = n - 14. Let z be k(10). Suppose x - 5 = 0, -x - 3*x + 32 = -2*l. Is l < z?
True
Suppose -h = 19*h + 14020. Which is smaller: h or 1?
h
Let k = 2 + -1.87. Let n = -7449 + 7450. Which is greater: n or k?
n
Let p = 87605/11 + -7958. Is p <= 6?
False
Let i be (-1 - 54/(-58))/((-12)/(-54)). Which is smaller: i or -1?
-1
Let v be (-16)/(-104) - (0 - 72/884). Are 1 and v unequal?
True
Let g(v) = v**2 - 13*v - 14. Let m be g(14). Suppose 5*n - 31 = 4*r, -4*r = n - 11 - m. Is 23/4 >= n?
False
Let u(r) = -19*r**2 + 41. Let l be u(0). Is l > 43?
False
Let d be 1/2*4/2. Let u = 6883/11 + -625. Does u = d?
False
Let c = -266 + 204. Which is bigger: c or 1?
1
Suppose -5*x - 8 = -33. Suppose -m = -x*p + 15, p + m = -p - 1. Suppose -5 - 5 = -p*j. Which is smaller: -1 or j?
-1
Let j be 45 + (-9)/(5 + -4). Which is greater: j or 0.05?
j
Suppose -83 = 4*w - 23. Let n = -1 - w. Let v = -14 + n. Is 0.5 smaller than v?
False
Let h = -60 + 90. Suppose 0 = 2*l - h + 4. Let g = 12 - l. Are g and -2 nonequal?
True
Suppose 4*c - 13 = -5. Is c < 12/13?
False
Suppose -o + 28 = 3*f, -o = -4*f + 36 + 6. Is 125/12 at least f?
True
Suppose 5 = 5*q - b, 3*q - 5*b = -17 - 2. Suppose -15 = 5*v, 5*y + 3*v = -q - 232. Is -44 >= y?
True
Let a be ((-227)/(-5) - 3)/(36/(-90)). Which is smaller: a or -105?
a
Let z(s) = 3*s + 1. Suppose -v + 6*i = 2*i - 9, 5*v - i - 26 = 0. Let n be z(v). Is 17 equal to n?
False
Let d(n) = n**3 + 14*n**2 - 10. Let y be d(-14). Let z = -4 + -10. Let b = z - y. Is -3 < b?
False
Let f be 3224/(-88) + (1 - 4) + 0. Is f at least as big as -40?
True
Suppose -5*g = 4 + 31. Let u(l) = -l + 15. Let q be u(g). Which is smaller: q or 23?
q
Let u(j) = -2*j + 16. Let q be u(9). Let p(v) = -v**2 - 3*v - 2. Let m be p(q). Do 15 and m have the same value?
False
Let v = 7/2 - 3. Let g = -0.0181 - -0.0781. Which is smaller: v or g?
g
Suppose 0 = 13*v + 820 + 623. Which is greater: v or -2/7?
-2/7
Let a = 24.906 + -25. Let t = a + 0.524. Which is bigger: t or 0.1?
t
Let v = -75 - -124. Which is smaller: 99/2 or v?
v
Suppose 4*j - 105 = w, 0 = 8*w - 11*w - 3. Which is bigger: 1/5 or j?
j
Let h = -12 - -17. Let r = 3 - h. Which is smaller: -3 or r?
-3
Suppose 0*r - 2*r = 2, -7 = 2*a + 5*r. Is 2/3695 != a?
True
Suppose 4*a + 103 = -3*g + 20, 2*a - 3*g + 37 = 0. Let j be 0 + 2 + 30/a. Which is greater: -0.6 or j?
j
Suppose -4 = a - 5*w, 0 = a + 5*w - 8 - 18. Suppose a = -8*z + 19. Let m = -944 + 34930/37. Do m and z have different values?
True
Let j(y) = 2*y**3 - 19*y**2 + 11*y - 9. Let r be j(9). Suppose -2*k + 14 = h, 3*h + 22 = 2*k - 0*h. Is k greater than or equal to r?
False
Suppose 0 = -3*k - 5*s - 42, -14 = k - 2*s - 0*s. Let l = k + 39. Suppose 5*x + l = 0, -5*x - 7 - 21 = c. Which is greater: c or -4?
c
Suppose 2*i + 4 = 4*u, 2 = -2*u + 2*i - 0. Suppose x = u*z - 94, -4*z - 2*x + x = -116. Suppose -5*h - z = 30. Is -12 at least as big as h?
True
Let z(g) = g - 5. Let q be z(8). Suppose -4 = -q*f + 4*w, -w - 10 = -3*w. Let h = f + -4. Is 2/7 < h?
True
Suppose -5*y = -0*y + h - 15, 3*y - 3*h - 9 = 0. Let a be 3 - (y + -3 + 3). Suppose -g = -a*g + 6. Is g less than or equal to -7?
False
Let x be 2 + 3 - (-2506)/(-476). Is 1 at least as big as x?
True
Let c be -4*((-38)/(-8) + -5). Is c greater than or equal to 44/19?
False
Suppose -5*p + 9*p = 0. Suppose -5*m - d = -0*m - 252, p = -3*m - 2*d + 154. Suppose 9*h + m = 4*h. Which is bigger: h or -2/7?
-2/7
Let t = -182/5 + 36. Let j(i) = -i - 25. Let m be j(-10). Let k be ((-12)/75)/((-3)/m). Does t = k?
False
Suppose b - 4*n = 5, 4*b - b = 3*n - 3. Is b != -2?
True
Let i = 2395.9 - 2396. Which is smaller: -983 or i?
-983
Let g be 407/143 - 2/(-13). Suppose -f - 5 + 2 = -5*r, 2*r = -f - g. Let w be (3/27)/((-2)/(-6)). Is w equal to r?
False
Suppose 6*v - 1334 = -1346. Let s(y) = y**2 + y + 5. Let z be s(0). Suppose 3*b - z*p + 5 = 0, -4*b + p - 1 = -0*b. Which is smaller: b or v?
v
Let i = -10 - -10.13. Let u = i - 0.28. Let j = u + 0.05. Is -5/4 less than or equal to j?
True
Let q(h) = h**3 + 8*h**2 + 7*h - 8. Let r be q(-7). Let a be (4/(-8))/(2/r). Suppose a*c = -c + 5*o - 6, -o + 8 = -4*c. Is c at least as big as 0?
False
Let p be 1 - (-2)/(10296/(-2759)). Let g = 1/396 - p. Let t(n) = -n + 2. Let s be t(2). Which is greater: g or s?
s
Suppose -2*v + 2*c + 12 = 0, -2*c = 3*v + c - 48. Suppose 0 = 2*a - v - 25. Let i be -3 + -1 - (-80)/a. Are -1 and i unequal?
True
Let m = -77 + 54. Suppose -102 = -3*u - 3*l, 0 = -3*l + 2*l + 5. Let c = u - 53. Which is bigger: m or c?
m
Let n be (7 + -6)*-2*3. Let o = -2 - n. Let c be 30/(-24) + 1/o. Which is smaller: c or 2?
c
Let j(v) = 2*v + 48. Let b be j(-22). Let k be b*(-3)/3 + (-124)/(-30). Which is greater: k or 3?
3
Let x be 69 + 9 + -7 + -3. Which is greater: x or 73?
73
Let z = 8.6 + -6.6. Let j = 4 + -6. Is z > j?
True
Let 