rue
Let l = 1754 - 471836/269. Which is smaller: 0 or l?
l
Let h = 11603/15 + -775. Let w be ((-3)/(-4) + -4)/(150/(-64)). Let m = w + h. Is m < -0.1?
False
Let g be 8/(-6) + 32/6. Let i(v) = -4*v**2 + g - 6*v + 0*v**2 + v**3 + 0*v**3. Let x be i(5). Which is smaller: x or -1/2?
x
Let o(c) = c**3 - c + 145. Let v be o(0). Let u = -182.28 - -182.18. Which is bigger: v or u?
v
Let c be (40/(-12))/((-3)/9). Let g = c - 12. Let k(q) = 6*q + 4. Let z be k(g). Which is smaller: -7 or z?
z
Let f = 2 - 0. Let a be (0 - f - 1)*1. Let o be ((-2)/3)/(2/a). Which is smaller: 0 or o?
0
Suppose 0 = 8*a - 2 + 2. Is -2/279 smaller than a?
True
Let r = -47.61 + 48. Let i = 1.39 - r. Which is bigger: i or 6?
6
Let l be 3 - (0 + 5) - -5. Let t be (3 + 1)*2*l/704. Are t and -1 nonequal?
True
Suppose -4*s + 28 = -2*k - k, -28 = 2*k - 5*s. Let z be (-25)/(-15)*3 + k. Is z smaller than 2/25?
False
Let p(u) = u**3 + 13*u**2 - 3*u - 40. Let l be p(-13). Let w be (-70)/84 - l/(0 - 1). Is w at least -3?
True
Let k = -2/2181 + -3629/6543. Is 4 at most as big as k?
False
Suppose 5*d + 74 = 4*h, 0*d - 4 = 2*d. Suppose -v + 4*m + 14 = 1, -4*v = -4*m - h. Let o(w) = 11*w**2 - w. Let y be o(v). Is -1 bigger than y?
False
Let p(t) = t + 11. Let r be p(0). Let x(k) = -9*k + 10. Let b be x(0). Is b <= r?
True
Let u be 8 + (200/(-16) - 2) + 6. Let x be (1 + 1)/(-2 + -1). Which is bigger: x or u?
u
Let w = -389.2 - -404. Which is greater: 1 or w?
w
Let f be (0/(-7) + 28/(-8))*2. Is f less than 0.33?
True
Let s be 6/1 - 136/(-96)*-9. Which is bigger: -8 or s?
s
Let p(c) = -2*c**2 - c - 3. Let i be (2 + 1)*4/(-6). Let z be p(i). Which is bigger: z or 2?
2
Let k = 259.9 + -271. Does 2/7 = k?
False
Let b be 9/(-7) + (-6)/(-21). Let h = 79037/55 + -1437. Is b less than h?
True
Let v = 67.97 + -68. Let m = 5.03 + v. Suppose -4*s = s. Which is greater: m or s?
m
Let v = -71563/9 + 7981. Which is bigger: v or 31?
31
Let u(b) = 3*b - 28. Let r be u(16). Which is greater: 53 or r?
53
Let s = -49.4 + 37. Let p = s + 12.2. Which is smaller: 14/3 or p?
p
Let t(w) = -3*w**2 - w + 34. Let v be t(0). Is v not equal to 37?
True
Let b be -3 + (-2)/(6/(-27)). Suppose v + 2*v - b = -4*n, 5*n = 2*v + 19. Which is smaller: v or -5?
-5
Let o(g) = -g**3 - 9*g**2 + g + 16. Let t be o(-9). Is t smaller than -3?
False
Let q be 3 - 1 - (-11 - -11). Suppose q*r = 4*i + 3 - 29, -r = 4*i - 17. Suppose -2*p - m + i = 0, -3*m = -2*p + 2*m - 25. Which is smaller: p or -1?
-1
Let a be ((-1)/((-6)/(-484)))/(10/(-15)). Let k = a + -114. Is 3 > k?
False
Let u = -4798 - -340676/71. Is -1 equal to u?
False
Let x be 1*(-1 + 5 - -1). Suppose 0 = z - x*z. Let d be (-7)/((-28)/16) + z. Is 16/3 <= d?
False
Let m = -661 - -633. Which is smaller: -22 or m?
m
Suppose -2*t + 0*t = -40. Suppose -5*d - 5*z + t = 0, 3*d - 11 = d - 3*z. Which is smaller: d or 2/7?
2/7
Let d = -3727/7 - -531. Which is smaller: d or -1?
d
Suppose 55*n = 24*n + 25*n - 18. Let u be 818/(-220) + 4/(-22). Do u and n have the same value?
False
Let k(d) = d**3 + 3*d - 4. Let c be k(2). Suppose y - c*y - 9 = 0. Let x be -3 + 148/32 + -2. Is y <= x?
True
Suppose l + 15 = 75. Let v be l/210 + 1*(-22)/28. Which is greater: 0 or v?
0
Let n be 904/78 + (-3)/(-39). Which is greater: 11 or n?
n
Let h = 530 + -528. Let q = 41 + -40.81. Is h at least q?
True
Let b = -62 + 34. Let f be (21/28)/((-1)/b). Let w = 365 + -1096/3. Which is smaller: w or f?
w
Let f = -96 + 310. Suppose -44 + f = -5*o. Let u = o - -16. Does -19 = u?
False
Let w = 68 - 63.4. Let v = 4.6 - w. Which is greater: v or 15?
15
Let n be 1/(-5) - (-1320)/(-150). Suppose 4*v - 2*v = -18. Let f be (-6)/v + 23/(-3). Are f and n nonequal?
True
Let v be 5*(36/30 + -2) + 18. Which is greater: -10 or v?
v
Let o = 25 - 209/2. Is -80 less than o?
True
Let q = 12 + -15. Let j = q - -3.02. Is j bigger than -2/3?
True
Suppose -120*w = -116*w - 324. Let m = 80 - w. Let d be ((-2)/(-12))/((-10)/(-16)). Do d and m have different values?
True
Suppose 0 = -354*x + 369*x - 330. Do 158/7 and x have the same value?
False
Suppose -3*o + 3*g + 2 = 5*g, 5*o - 5*g = 20. Let a be (-1 + 4)*o/9. Suppose -3*l - f + 7 = 0, -f + 3 = -6*l + 7*l. Which is smaller: a or l?
a
Let w = -15 - 3. Which is greater: -252/13 or w?
w
Let k = -3.3 + 3.27. Let i = 8.3 - 8. Which is greater: i or k?
i
Suppose -121 = -62*y - 927. Suppose 0 = -3*d + 4*d + 14. Is d >= y?
False
Let r be ((-1)/(-3))/((-17)/51). Which is bigger: 2/179 or r?
2/179
Let j be ((-5)/10)/((-4)/(-376)). Let m = j + 80. Suppose 5*g = 5*s + 60, -5*g + m = 2*s - 27. Is g bigger than 13?
False
Let f = -57 - -69.1. Let o = f + -97.1. Is 0 at most o?
False
Let n be 2 + (2*5)/(724/(-146)). Let d = -1475/1629 - n. Which is bigger: d or -1?
d
Let i = 106 - 127. Let l be (2/4)/(2/(-72)). Let s = l - i. Is 2 equal to s?
False
Let p = 48 - 30. Suppose 3*z = -2*t + 4*z - p, 5*t = 4*z - 42. Suppose -3*o = o + 40. Is t less than or equal to o?
True
Suppose 4 = 4*x - 24. Suppose 4*o + a = x + 10, 0 = o - 4*a. Is -2 less than o?
True
Let d = 59 - 32. Suppose 15 = -3*z + d. Let w = -11 + 16. Which is greater: z or w?
w
Let h = -919 + 1083. Is 166 smaller than h?
False
Let k = 472 - 433. Which is bigger: k or 2/25?
k
Let z be ((-8)/24)/(6/166). Let s = 9 + z. Which is greater: 0 or s?
0
Let w be 3/(-15)*(-10)/(-516). Which is bigger: w or -1?
w
Let w be -586 + 18 + 44/(-4). Which is bigger: -582 or w?
w
Let h = 7313/11894 + -23/38. Is h > -1?
True
Let c = 19 - 15. Suppose 4*x = -q - 11, -5*q + c*x + 12 = -5. Let p = -34/21 - -9/7. Is p >= q?
False
Let u = -146 - -228. Which is smaller: u or 86?
u
Suppose -4*f + 1 = 17. Let u be (8 - 3) + f + 0. Are -1/6 and u unequal?
True
Let w = -284617/390 + 6893/10. Let l = w - -121/3. Suppose -2*u + 5*u - 12 = 3*d, -4*u = -20. Is d < l?
False
Let i = 71 + -67. Let v be i/17*((-7)/(-6) - 1). Let w(q) = q - 1. Let t be w(2). Is v >= t?
False
Let f = 37/2 - 149/8. Let q be ((3/(-21) - 12/(-35))*0)/3. Is f less than q?
True
Let x be ((-54)/(-3726))/(2/(82/1)). Let b = x + -6/23. Is 14 >= b?
True
Let v be (13/4)/((-5)/20). Let h(s) = -8*s + 74. Let t be h(11). Which is greater: v or t?
v
Let f be (-1946)/(-390) + -30 + 25. Which is smaller: f or -0.2?
-0.2
Let h = 156 - 157. Which is greater: h or -3?
h
Suppose -o + 36 = 3*o + 4*h, -3*h - 69 = -5*o. Suppose 4*m - o = 4. Suppose 4*y - m = -16. Which is smaller: -10/3 or y?
-10/3
Let f = -5.93 + 3.93. Let s = 3 - 5. Is s bigger than f?
False
Let b(v) = -v**3 - 8*v**2 - 3*v - 2. Let u be b(-7). Let n be (u/(-35))/((-2)/14). Let s = -90/11 + 281/33. Is n equal to s?
False
Let d be 146/1095 - 1/(-5). Let f = -0.009 + -1.271. Let t = -0.18 - f. Is t != d?
True
Let m(f) = -f**3 + 3*f**2 + 2*f - 4. Let a be m(3). Suppose a = -4*q - 22. Let j be ((-3)/q*-6)/(-3). Which is bigger: 5 or j?
5
Let u(t) = t**2 + 5*t - 1. Let p be u(-6). Suppose 2*w - h = 3*h + 4, p*w + 5*h - 10 = 0. Which is smaller: 0.1 or w?
0.1
Suppose -5*r - 4*b = b, -5*r = -3*b. Which is smaller: r or 1/283?
r
Suppose 4*o + 8 + 4 = 0. Let i be ((-1)/o)/(6/(-18)). Let t be (4*i)/(12 + -5). Which is smaller: t or -1?
-1
Let r = 11.1 + -11.178. Is r not equal to -2/5?
True
Let m be 1 - -4*152/32. Is m > 171/8?
False
Let c = -0.016 + 12.016. Let h = c - -15. Which is smaller: -0.1 or h?
-0.1
Let h = -10.6 + 11.6. Is h at most as big as -14?
False
Let k = 132671/65 + -2041. Is -1 at most as big as k?
True
Let l = -37 - -36. Let c be (4/(-8))/((-1)/(-60)) + l. Which is greater: c or -29?
-29
Let a be (-2)/(-12) - -37*(-76)/24. Let u = a + 346/3. Which is bigger: u or -4?
u
Let r = 175 + -61. Is r greater than or equal to 114?
True
Let m = 182 - -156. Is m equal to 339?
False
Suppose 488*j - 484*j + 120 = 0. Which is smaller: -26 or j?
j
Let r = -29 - -29.49. Let l = -1.49 + r. Which is smaller: -2.9 or l?
-2.9
Let f = -71 - -68. Let m be (-5)/(-10)*(-65 - f). Is m smaller than -30?
True
Let x = 1/963817 + 299746922/159029805. Let p = x + -20/11. Which is bigger: 3 or p?
3
Let o = -97 - -104. Suppose -o*r - 7 + 7 = 0. Which is smaller: r or 2/207?
r
Suppose -4*m + 4*h - 25 = -9*m, -3*m - h + 8 = 0. Which is smaller: m or 3/254?
3/254
Let v = 2425/14 + -12139/70. Suppose 0 = -y + 3 - 1. Let i be -1 - -1 - (-2 + y). Which is smaller: v or i?
v
Let j(l) = 