 Let d be 3/m - 0/(3 - 4). Which is smaller: 0 or d?
d
Let a(t) = -t**3 + 7*t**2 - 5*t - 4. Let n be a(4). Let q be (44/n)/((-2)/(-12)). Does q = 13?
False
Suppose -124 = 8*y - 28. Let s(f) = 3*f - 5. Let p be s(2). Is p bigger than y?
True
Let q be (-21)/7*(-10)/(-3). Suppose -x + 15 = 7*b - 2*b, 0 = -b - 4. Suppose -2*d - x = -15. Is d less than q?
False
Let k be 3/224*(-25)/150. Is k bigger than 1?
False
Let i = 22 + -17. Suppose -3*n = 5*u + 8, 4 + 3 = -2*u - i*n. Let k be u/5 + 43/15. Is k greater than 2?
True
Let r = 11 + -6. Suppose -5*h + 5*i = 60, 0*h = r*h + 3*i + 52. Is -15 at least as big as h?
False
Let u be -6 + 78/(-42) + 8. Let v(a) = -3*a + 5*a - 3*a. Let n be v(1). Which is bigger: u or n?
u
Let r be 97 + -105 - (1 + -10). Is r bigger than -8.4?
True
Let d = 251.9916 + 0.0084. Which is greater: -0.1 or d?
d
Let r = 0.0699 + 5.9301. Is 2/75 < r?
True
Suppose 3*w - 121 = 5*a, 4*w = 4*a - 81 + 245. Let l be 8/9 + w/(-63). Which is smaller: -1 or l?
-1
Let m be (3 - 7)/(3/6). Let x be (m/6)/((-20)/30) + -2. Let z(g) = -g**2 - 1. Let a be z(0). Which is smaller: x or a?
a
Suppose 153*p - 160*p = -1694. Is p <= 242?
True
Suppose 4*k = -2*d + 4*d + 6, 3*k = -5*d - 2. Let l = 267 - -17. Let f = l + -7670/27. Which is bigger: f or d?
f
Let l = 14 - 67. Which is bigger: l or -105/2?
-105/2
Let y = -283 + 196. Is y greater than -85?
False
Let u = -39.14 + 40.04. Let j = 4.9 - -0.1. Which is smaller: j or u?
u
Let w be (-4)/6*-1 - (-8)/6. Suppose w*i - 6*i = 3*i. Which is bigger: 2/109 or i?
2/109
Let m = 85 + -88. Let g be (m - (-4 + 59)) + 2. Is -55 not equal to g?
True
Let a be (-16)/6*(-9)/(-6). Suppose 6*v + 17 = 3*v + i, 2*i + 26 = -4*v. Let l be (-4)/(v*4/(-12)). Is a less than l?
True
Suppose -2*j = -3*j + 4. Let o be ((-16)/(-28))/(j*4/(-8)). Let y = 103/272 + -7/16. Is o equal to y?
False
Let n = -0.0766 + 0.0766. Let f = -31774/693 + 504/11. Which is bigger: f or n?
n
Let q(h) = -h**3 + 10*h**2 + 12*h - 8. Let l be q(11). Suppose l*w + 16 = -11. Which is smaller: -28/3 or w?
-28/3
Let n be 4 - (-12)/(2 + -6). Let y be ((-35)/(-3) + n)/(16/24). Which is greater: 18 or y?
y
Let w be (1/(-3) + 1)/(3/27). Let m be (8/(-10))/(2/(-5)). Suppose 0*d = -m*d + w. Which is smaller: 2/5 or d?
2/5
Let c(g) = -g**2 - 100*g + 99. Let v be c(1). Let l = 119/2 + -61. Is l less than v?
False
Let o = -6 - -4. Let m be (1/o)/(1/2). Let f be 88/(-140) + (-1)/(-5). Is f at most m?
False
Suppose 2*h + 3*h = -2*u + 1723, -3 = -h. Are u and 853 equal?
False
Suppose -74 = 4*y + 58. Let n = 38 + y. Which is smaller: 0 or n?
0
Let d(m) = m + 62. Let o be d(0). Let u = o + -41. Which is greater: 23 or u?
23
Let t be (-5)/(615/(-338))*-24*19. Let x = 1253 + t. Is x at most 0?
True
Suppose 6 = l + l. Let i be 6/l + -2 - -2. Let y be (-12 - (-9)/3) + i. Which is smaller: -8 or y?
-8
Let x = 277 + -307.2. Let a = -30 - x. Is a less than or equal to -1?
False
Let x = 102 - 102. Let w be (-124)/(-444) + 1/(-3). Is x at least as big as w?
True
Let s(w) = -w + 9 + w - 2*w. Suppose -b = -7 + 2. Let z be s(b). Which is bigger: -6/17 or z?
-6/17
Suppose -5*c + 0*g - 9 = -4*g, -2*c - 6 = -4*g. Are -6/41 and c unequal?
True
Suppose z - 5*z = -2*r - 20, -5*r - 5 = -z. Let h be 0 + (-2)/(-2) - r. Suppose -4 = d - h. Is d smaller than -2?
True
Let w be (33 - -4) + -2*1. Suppose 0 = 3*s + 13 + w. Let c = 27 + s. Which is greater: c or 1?
c
Let y be ((-27)/45)/(1/(-5)). Suppose -375 = -y*o - 60. Let b be (7/o)/((-2)/(-5)). Which is smaller: b or 5?
b
Let t = -222 - -176.05. Let z = t + 46. Which is greater: z or 0?
z
Suppose 5*v - 5 = 5. Suppose 4*m = 3*t - 589 + 72, -t + v*m + 175 = 0. Let q = -831/5 + t. Do 1 and q have the same value?
False
Suppose -q = r - 10, -3*q = 2*q + 2*r - 62. Which is smaller: q or 0?
0
Suppose -8*o + 5 = -s - 3*o, -52 = 5*s + 2*o. Let l = s - 4. Is -14 equal to l?
True
Suppose -113*t = -118*t - 145. Let j be (3/12)/(t/(-4) + -4). Is 1 not equal to j?
True
Suppose -4*f - 31 = -3*t + 31, 3*f + 43 = 2*t. Let b(x) = -1 + 0*x - 17 - 2*x. Let u be b(-16). Is t > u?
False
Suppose 4*r + 20 = 3*a, 2*a - 4 - 7 = 5*r. Suppose b = 2*i + 10, 0*b + 50 = 5*b - 5*i. Is a <= b?
True
Let w = -282511/71121337 + -85435749049775577/12517355312. Let s = 6825383 + w. Let y = s + 16/77. Which is bigger: y or -1?
y
Let g be (-2 - -6)*(0 - 1/(-2)). Suppose g*v = -3 + 13. Is v <= 7?
True
Let a = -4 - -6. Let n = -503 - -505. Is a greater than or equal to n?
True
Suppose -2 - 2 = -2*d - h, -28 = -2*d + 5*h. Let t be ((-24)/(-72))/(d/(-6)). Is t greater than or equal to -0.1?
False
Let z be 6 + 4 - (-2752)/36. Which is greater: 86 or z?
z
Suppose 0 = 52*g + 11928 + 18596. Is g equal to -1765/3?
False
Let q be (5 - 6)*-6 + -5. Let p be (-40)/224 + 4/14. Is p at most q?
True
Let z be 2*(681/1017*-3 + 2). Suppose -4*f + 5*d + 1 = 0, 3*d - 7*d = -4*f. Which is smaller: z or f?
f
Suppose -2*d - 3*d + 110 = 0. Suppose -2*g + 2 = 3*y, -3*y + g + 3*g = d. Let k be 4*(0 - y/8). Which is smaller: 2 or k?
k
Let q = 1409/300 - 3/100. Suppose -4*f = -a - 2, 2*f + f = -a + 12. Which is greater: q or a?
a
Let h = -398 - -454. Which is smaller: 223/4 or h?
223/4
Let o = -2 - -59. Let t be o/(-209)*8/6. Does -1 = t?
False
Let y = -110/9 + 35/3. Let r(h) = -4*h**2 - 9*h - 6. Let i(o) = -5*o**2 - 10*o - 6. Let n(z) = -5*i(z) + 6*r(z). Let f be n(5). Which is smaller: f or y?
f
Suppose 13 - 3 = 2*w. Suppose g = 5*b - 5 - 14, w*b = -5*g + 25. Suppose -33 = -b*o + 7. Is o <= 11?
True
Suppose p = 5*p - 4*x - 20, -13 = -5*p - x. Let l be ((-4)/(-10))/(6 - 1206/210). Which is smaller: p or l?
l
Suppose 0 = -7*l + 11*l. Suppose l = 2*j - 5*j + 78. Is j smaller than 25?
False
Suppose 32 - 50 = c. Is -69/4 <= c?
False
Let j(n) = -n**2 + 8*n. Let p be j(8). Which is greater: p or -7/25?
p
Let h = 658 + -343. Let s be (7 - 2215/h)/(6/14). Which is smaller: -0.3 or s?
-0.3
Suppose -2*x + 44 = 4*m, 6*m - 3*m = -5*x + 33. Suppose 0 = -3*i + m + 7. Let q = -5 + i. Which is smaller: -5 or q?
-5
Suppose -23*j - 154 = -39. Which is smaller: -1 or j?
j
Let g(u) = u**3 - 9*u**2 - 10*u - 11. Let t be g(10). Let l be -1*(1 - 4) - (-32)/t. Do l and 0 have different values?
True
Suppose -2*r - 61 = 41. Let m = -55 - r. Which is smaller: m or 0?
m
Let c be (-546)/49*(-147)/28. Is c <= 58?
False
Let d = 5.09 + -5.39. Does d = 5?
False
Let p = -0.0012 - -1.0012. Let l = -15 + -5. Is p less than l?
False
Let x be (-11)/3 - 20/12*-1. Let m be (-1)/4 + (-23)/4. Which is greater: m or x?
x
Let j(q) = -2*q + 13. Let m be j(5). Suppose m*g + 2 = -22. Is -9 equal to g?
False
Suppose -5*x + 12 = d, 2*x = d - 3*x - 12. Let h = -28 + -8. Let i be h/(-24)*(-28)/(-3). Is i greater than or equal to d?
True
Let o = -2.9 - -4.5. Let x = 3.6 - o. Is -3/17 at most x?
True
Let w(b) = 14*b**2 + 30*b + 3. Let n be w(-2). Is 0.1 greater than n?
True
Suppose -25*b = -20*b - 3655. Are b and 732 unequal?
True
Suppose 0 = 16*x - 11*x - 90. Suppose m + 13 = 2*j + j, -5*j = 2*m - x. Suppose 0 = b + 5*k - 8, -3*k - 6 - 3 = -4*b. Is b at least as big as j?
False
Let l(p) = p**3 - 5*p**2 + p. Let t be l(5). Suppose a + 5 = 2*a, 15 = t*j + 4*a. Let g = -110/3 - -1424/39. Is j bigger than g?
False
Let o be 6/(-8) + 162/24. Let i(s) = 2 + 6 + o + s - 4. Let n be i(-7). Is n > 3/2?
True
Let m = -1747.3 + 1838. Let v = m - -24.3. Is v smaller than 2/5?
False
Let q = 362 + -367. Which is smaller: q or 0.019?
q
Let f = 4.4 + -6.4. Let y = 7 - 4. Let a = f + y. Are -1 and a nonequal?
True
Let z = 114.888 + 0.112. Let d = 115 - z. Which is bigger: d or 118?
118
Let y(d) = -d**2 - 3*d - 1. Let c be y(-2). Let z = -202/13 + 200/13. Which is smaller: c or z?
z
Let y = -6 + 6. Let j(k) = 3*k - 6. Let i be j(6). Let q be 10/(-12) + 8/i. Which is smaller: q or y?
q
Let d = 925.004 + -927. Let l = d - 0.004. Is l at most as big as -14?
False
Let u = -197/6 - -1439/42. Let d(j) = -j**3 + 9*j**2 + 11*j - 9. Suppose 14 = 4*c - 26. Let z be d(c). Is u <= z?
False
Let c(x) = -2*x**3 + 8*x**2 + 3*x - 6. Let n be c(4). Which is greater: 14/3 or n?
n
Let f = -3 - -5. Suppose -f = -2*r + 4*r. Let j(g) = -g**3 + 46*g**2 - 47*g + 90. Let i be j(45). Are r and i nonequal?
True
Suppose -k - 30 = -3*o + 2*k, 0 = 5*o + 5*k - 100. Let r be ((-5)/o)/(2/(-162)). Is r less tha