k
Let d = 243 - 535. Which is smaller: d or -291?
d
Let j be (6/4)/((-9)/12). Let q be j/(-14)*(3 - 21). Let u = -2 - q. Which is bigger: 2 or u?
2
Let v(q) = -q**3 + 7*q**2 + 7*q + 11. Let i be v(8). Let z(c) = -c**2 - 5*c + 15. Let j be z(-7). Which is smaller: i or j?
j
Suppose 6 = -0*j - 2*j + 4*u, 3*u = 0. Let b be (-2)/4 - (-25)/2. Let h be 27*(j - (-32)/b). Which is greater: -8 or h?
-8
Let g = -51 - 5. Let y = g - -81. Let t = 24 - y. Is t at most -3?
False
Let l(a) = 2*a + 44 - 44 + a**3 - 4*a**2. Let m be l(3). Let j = m - -4. Is -2 not equal to j?
True
Let t be -25 + (-1)/(-3)*9. Let i = -80 - -136. Let a = t + i. Is 35 at least a?
True
Let v = -141 - -178. Let i = v - 38. Which is smaller: i or -1/47?
i
Suppose -3 = 4*f - 11. Suppose 10*v = f*v + 56. Is v greater than 7?
False
Let l = 422 - 455. Which is greater: l or -29?
-29
Let r = 4 + 1. Let x be (-2)/r - 162/(-105). Let g = -0.896 - -1.896. Do x and g have the same value?
False
Let s be (-24497)/85 - 9/(-45). Is -291 at most s?
True
Suppose 9*d = -7*d - 192. Is d at most 0.6?
True
Let b = 13 - 10. Let w = -34.4 - -34. Which is bigger: b or w?
b
Let z be (1 - 0)/((-80)/6864). Which is smaller: -85 or z?
z
Let n(f) = f + 24. Suppose 0 = 10*j - 5*j. Let s be n(j). Do s and 23 have the same value?
False
Suppose 7 = 2*i - 49. Let u = -4333 - -17333/4. Which is greater: u or i?
i
Let f be 6 - (-1)/((-2)/68 + 0). Is -33 equal to f?
False
Suppose 0 = 5*g - n - 92, n + 0*n - 79 = -4*g. Let l = -13 - -26. Let o(a) = a + 5. Let s be o(l). Do s and g have the same value?
False
Suppose -p - 2 = -5. Suppose -a - p = 1. Suppose 2 = 3*o - o. Is a at most as big as o?
True
Let p(a) = -a**2 + 11*a. Let g be p(10). Is g smaller than 52/5?
True
Let g = 44 + 20. Let h be g/(-28)*7/(-6). Is h < 2?
False
Suppose 0 = 3*r - 5*r. Let k(t) = 2*t**3 - t**2 - 2*t + 1. Let a be k(-2). Let x be 18/135*(2 - a/(-6)). Is x less than r?
True
Let r = 158 + -200. Which is greater: -204/5 or r?
-204/5
Let d = -183604/707 - -1818/7. Let m be (0 - 2)/(12/6*-1). Is m greater than d?
True
Let b be 376/10 + (-2)/(-5). Let j = b + -37. Let t be (-2)/(-3) + (-8)/21. Is t equal to j?
False
Suppose -4*x + 35 = -5*j, 605*j + 5*x + 58 = 602*j. Which is smaller: -106/9 or j?
-106/9
Suppose 6*o = o + 20. Suppose -2*y + 2 = 0, -5*y = 4*g - g - 26. Let a be (-10)/(-1)*g/21. Which is bigger: a or o?
o
Let w(u) = -u**3 + 4*u - 3. Let z be w(1). Which is smaller: 2/835 or z?
z
Let v = -32705 + 196721/6. Which is smaller: 83 or v?
v
Let k(u) = 2*u**2 - 24*u + 39. Let n be k(10). Are 10/31 and n nonequal?
True
Let a be 1*7*18/21. Suppose 11*g = a*g. Let z be ((-2)/(-96))/(21/(-42)). Which is smaller: z or g?
z
Let h = -9971/7 - -1417. Which is smaller: h or -8?
-8
Let y = -20/519 + 1912/31659. Is y bigger than 0?
True
Let i = 1009 + -1008.8. Which is smaller: 510 or i?
i
Let n be 0 - 44/8*-2. Suppose 5*b + 58 = 2*g, -2*b - 3*g = 16 + n. Let m be (-1 - 5)*(11 + b). Is m greater than 5?
True
Let z be 56924946/2244 + (-2)/4. Let f = z + -25367. Let q = f - -1/17. Which is greater: 1 or q?
1
Let j = 1538 - 1538.4. Let b be (2/12)/((-21)/(-12)). Which is smaller: j or b?
j
Let y = -8.8165 + -0.1835. Which is greater: 0.058 or y?
0.058
Suppose 0 = -2*r - 5*b + 162, -r = 23*b - 18*b - 71. Is r greater than 92?
False
Let l = -3/1568 - -4953/130144. Does l = 1?
False
Let w be (-6)/9*4 + -4. Let j(b) = 2*b - 1. Let f be j(-3). Which is greater: f or w?
w
Let y be (-1 - 2)/12 + 1/4. Suppose -5*h + y*h + 71 = -z, 0 = z + 1. Let v be 13 + 0/(-3 - -2). Is h bigger than v?
True
Suppose -8*r + 5*r + 18 = 0. Suppose 3*v = -2*x + 8, v + 2*x = r*x - 2. Is v greater than or equal to -1?
True
Let o = -0.3 + 0.48. Let a = o - -0.22. Let d = 26 + -26.2. Which is smaller: a or d?
d
Let w be (30/(-10))/((-6)/16). Let l be (-192)/42*(-2)/w. Which is smaller: l or 1?
1
Let o = 22/19 - 949/836. Suppose 0 = -5*r - 2*j - 8, -2*j = r + 9 - 1. Is o at least as big as r?
True
Let p = -135 - -115. Is p != -0.2?
True
Let p = 10/9 - 337/306. Which is bigger: 0 or p?
p
Let x = -3/5927 - 130289/207445. Let v = x + 12/35. Which is bigger: 0.1 or v?
0.1
Let n(u) = u + 7. Let o be n(-8). Let l = -4770989/100 - -190649/4. Let w = -143/3 - l. Is w at most as big as o?
False
Let a be -7*(-45)/52 - 60/80. Do a and 4 have different values?
True
Let d = 1948 + -1954. Let s(f) = -f - 12. Suppose 2*l - 2*p + 10 + 2 = 0, -4*l - 5*p - 24 = 0. Let m be s(l). Is d not equal to m?
False
Let m(g) = 15*g - 33. Let p be m(3). Let a be p/(-21)*6*(-1)/(-8). Is 0 greater than a?
True
Let n(f) = -3*f - 1. Let y be n(1). Let s = -0.778 - 0.222. Is s not equal to y?
True
Suppose -x + 3192 = -3*p, 5*x - 336 = p + 714. Is p at most -1065?
True
Let i = 111.3 - 184.2. Let l = -73 - i. Which is smaller: l or -34?
-34
Let s be 9 + -6 - (17 + 0). Let v be (-6)/(-15)*7/s. Is 2/5 equal to v?
False
Let f(a) = -18*a + 6*a + 0*a**2 - 1 - a**2 + 10*a. Let z be f(-3). Which is bigger: -6 or z?
z
Suppose -2*p + 7*p = -10. Let r be 0 + 18/14 + p. Let h = 68 + -69. Are r and h non-equal?
True
Let y = -25 - -25. Suppose y = 72*j - 73*j + 45. Which is bigger: j or 46?
46
Let b = -0.028 - 0.072. Let m be ((-28)/(-136))/7*-12. Which is smaller: m or b?
m
Let j = 0.0661 + 0.6469. Is 1 smaller than j?
False
Suppose -10*z - 54 = -z. Is -5 equal to z?
False
Let z = -111 - -143. Is z less than 33?
True
Suppose f - 84 = 4*f. Let i be (-7)/84*f*(-2)/(-10). Do i and 1 have the same value?
False
Let g be -14*1*(-2 - 3). Let j = -17689 + 17761. Which is smaller: j or g?
g
Suppose -2*m = 4*h + 6, 1 = h - m - 2. Suppose h = t - 58 + 120. Are -61 and t nonequal?
True
Let b = -453 + 444. Which is greater: b or 2?
2
Let t = 94/135 + -4/135. Are -15 and t nonequal?
True
Let l(d) = d**2 - 25*d + 15. Let z be l(24). Let f(t) = -t**2 - 13*t - 31. Let p be f(z). Which is smaller: p or 4?
4
Suppose 2*u - 47 = 5*c, 5*u + 4*c = -36 + 137. Which is smaller: 8 or u?
8
Suppose -20 = 8*y + 76. Which is greater: y or -111/10?
-111/10
Suppose 623 - 175 = -7*d. Which is smaller: -59 or d?
d
Let v be (-1)/(-8) + 47014/(-176). Which is smaller: v or -269?
-269
Let z(w) = -w**3 + 4*w**2 + 8*w. Let f be z(6). Let u be (-10)/(-4) - 2*6/f. Which is greater: u or 9/5?
u
Let v be (0/(-1))/(8/4). Let b = 341 + -343.07. Let x = b - -0.07. Is v >= x?
True
Let r = -167 - 58. Let d be -3*(3 - (-681)/r). Is 0 greater than d?
False
Let h(i) = -2*i - 4. Let r be h(18). Let x be (7/6 - 1)*r/(-30). Which is smaller: x or 0.4?
x
Let q = -11993 + 1667019/139. Which is smaller: 1 or q?
q
Let b(y) = -y - 8. Let r be b(-6). Let m be 0 + (1 - 0) - -2. Which is greater: m or r?
m
Let m = 2 + -2. Let c = -42.9836 + -0.0164. Which is greater: c or m?
m
Let h be (12 - (-5252)/(-438))/(38/(-6)). Which is smaller: h or -1?
-1
Let m = 0.072 + -37.072. Let t = -138.9 - -139. Is t > m?
True
Suppose 14*y + 9*y = 0. Is y != 4?
True
Let z be 61/(-122) + (-1341)/(-2674). Which is smaller: z or -1?
-1
Let d = -2 + 1. Suppose 0 = 2*i + 2*j - 12, -4*i - 3*j = -26 + 3. Let z = d - i. Which is smaller: -5 or z?
z
Suppose 5*v - 3*q - 14 = 0, v + 4*q = -v - 10. Which is smaller: v or -10/109?
-10/109
Let j = -1782 - -1749.88. Let u = -32 - j. Which is smaller: u or 2?
u
Let o(j) = -j**3 + 6*j**2 - 4*j - 9. Let m be o(5). Let u be ((-10)/20)/((-2)/m). Is u smaller than 9?
True
Suppose -a + r = 1, 7 = a - 2*a + 4*r. Let d = 29/24 - -85/168. Which is greater: a or d?
d
Let y = -311 + 271.8. Let o = y - -39. Which is smaller: o or 1/8?
o
Let b(i) = 3*i**3 - i**2 - 7*i + 1. Let p(y) = 7*y**3 - 3*y**2 - 15*y + 2. Let t(x) = 9*b(x) - 4*p(x). Let w be t(3). Let z be 10*4/w - 0. Is -5 smaller than z?
False
Let v = 5.45 - 0.05. Let o = -9.4 + v. Let t be 10/12*3 + -2. Do t and o have different values?
True
Let g be ((-4)/(-7))/((-170)/(-1645)). Is 7 >= g?
True
Let v = -18 - -24. Let p be v/9*(-7)/((-28)/(-174)). Is p at most -30?
False
Let z = 39 - 32. Suppose z*k = 15*k. Suppose 1 = m + 2. Which is bigger: m or k?
k
Let h(w) = -10*w**2 + 87*w - 5. Let u be h(9). Is -58 <= u?
True
Suppose -t + 5*t - 4 = 0. Let v(k) = 8*k**3 - 2*k**2 + k. Let m be v(t). Suppose 0 = -2*c + m*c + 20. Is c >= -6?
True
Suppose 2*q + 2 = -5*n - 0, 0 = -4*n - 8. Let m = -11 + q. Which is smaller: -4 or m?
m
Let w(y) 