 smaller than r?
False
Let j = 190 + -190. Which is bigger: -1/73 or j?
j
Suppose 0 = -19*d + 14*d + 90. Let s be ((-4)/(-12) - 0)/((-7)/d). Is 0 <= s?
False
Let v(b) = b**2 + 8*b - 3. Let w be v(-9). Let s(m) = -3*m - 3 + w*m - 2*m. Let z be s(3). Does -1/14 = z?
False
Let p = 270 + -6749/25. Which is greater: 1 or p?
1
Let v = 105 - -72. Which is bigger: 176 or v?
v
Let i = 18 - 19. Let x be 4/8*i/(-13). Are x and 1 unequal?
True
Let a = 105 - 105. Suppose 4*q - 3*s = -0*s - 21, a = -2*q + s - 9. Which is bigger: q or -28/13?
-28/13
Let l(x) = 4*x + 29. Let p be l(0). Let z = p - 34. Which is bigger: -7 or z?
z
Let o be 21/9 - (3 - 1). Let l = 27 + -25.9. Let x = l - 1.1. Which is smaller: x or o?
x
Let u = 972 + -1185. Are u and 3 unequal?
True
Let p = -2 - -6. Let z = -1 - -2. Suppose i + 2*v - 7 = 0, -2*i = 3*v + z - 14. Is p greater than or equal to i?
False
Let m(s) = 5*s + 150. Let v be m(-30). Which is smaller: v or 2/589?
v
Let k be -1 + 34 - (-2 + 4). Let v = 27 + 3. Is k greater than or equal to v?
True
Let l be ((-3)/(-2))/(-3) - 166/(-4). Is l at most 358/9?
False
Let q = 6/7 - 17/28. Let t(c) be the first derivative of -c**3/3 + c**2/2 + 2*c - 10. Let n be t(3). Is q at most as big as n?
False
Let b = 3888 + -27483/7. Let n = b - -38. Do n and -1 have the same value?
False
Let k(y) = 4*y - 4. Let n be k(1). Is n smaller than 1/57?
True
Let s be (895/60)/(8/64). Let d = -119 + s. Let r = 3 + -1. Which is smaller: r or d?
d
Let h be 639/(-45) + 2/10. Do h and -14 have different values?
False
Let k = 269/1113 - 13/21. Let u = k - -2194/6095. Let w be 4/18 - 6/27. Which is smaller: w or u?
u
Let w(a) = 10*a - 635. Let x be w(59). Which is bigger: x or -33?
-33
Let s = 2.27 + -21.17. Let o = -19.025 - -0.025. Let m = s - o. Is m at most 5?
True
Suppose 5*d - 10 = 3*f, -10*d = -2*f - 8*d - 8. Are -13 and f equal?
False
Let g = -0.0578 + -2.9422. Let w = 5 - 2. Let n = w + g. Is -2/17 smaller than n?
True
Let s be ((-14)/(-812))/((-3)/2). Is 1 smaller than s?
False
Let r be (3/(-2))/(3/8). Let p be ((-2)/r)/(3/78). Suppose 3*o - 2*h + h = 38, 20 = 5*h. Is p greater than or equal to o?
False
Let f(i) = -2*i**3 - 5*i**2 - 3*i - 3. Let w be f(-3). Let o be (-35 + 2)/(w/230). Let z = o - -10628/21. Is z < 0?
False
Let a be 4 - (23 + -18)*(2 - 1). Which is smaller: -45 or a?
-45
Let k be (-1712)/112 + (-4)/(-14). Which is greater: -9 or k?
-9
Let f(s) = s**3 - 5*s**2 - 8*s + 12. Let q = 18 + -12. Let x be f(q). Are x and -3/4 equal?
False
Let s = -8 + 11. Let a(y) = 2*y + 1. Let c be a(s). Let r be 1 - -1 - (1 - 6). Is c < r?
False
Let h = -1 - -1. Let y = -27 - -33. Suppose -o + y*o = o. Is o bigger than h?
False
Let z = -575.9 - -601. Let f = 30.3 + -5.3. Let x = z - f. Is x less than 8?
True
Suppose 5*l = 7 + 3. Suppose -l*n - 2 = 5*r, 8 = 3*n - 4. Let d be (r/5)/(4/(-10)). Is -1/6 smaller than d?
True
Suppose -w - 9*w = 850. Let i = w - -136. Which is smaller: 52 or i?
i
Let d = 54 - 55.5. Let a = -1.7 - d. Which is smaller: a or -2?
-2
Let x = 43 - 34. Suppose 119 = -x*s + 2*s. Is s >= -18?
True
Suppose 132 = 4*j - 3*b + 1227, -2*j - b = 545. Is j smaller than -273?
False
Let i(d) = 4*d + 3. Let h be i(-10). Let n = 144 - 182. Which is bigger: h or n?
h
Suppose -19*u + 22*u = 39. Is u at least as big as 13?
True
Let w = -13 - -14. Let x = -36 - -20. Which is greater: x or w?
w
Let s = 370 - 190. Which is smaller: 182 or s?
s
Suppose -7*b = -10*b. Suppose f + 5*c + 9 = -b*f, 0 = 5*f + 4*c + 3. Which is bigger: -3/8 or f?
f
Let a = -372 + 369. Let u = 0.1 + 0. Which is greater: u or a?
u
Let n = -1 - 1. Let w be (-2)/(-2) + 1 - n. Let o(g) = -30*g + 35. Let c be o(1). Is c equal to w?
False
Let f(y) = 5*y + 87. Let x be f(-17). Which is smaller: x or 0.23?
0.23
Let n(u) = -4*u - 2. Let l be n(4). Let p(b) = -b**2 + 35*b + 56. Let k be p(37). Is l at least as big as k?
True
Let l = 510/71 + -36798/497. Is -67 > l?
False
Let f = -1359849 + 123745031/91. Let b = -168/13 - f. Is b greater than 2?
False
Suppose 960 = -40*x + 43*x. Is x at most 319?
False
Let f be (-1)/1 - 52/(-44). Let j = -2.8 - 8.2. Let c = -9 - j. Which is greater: c or f?
c
Let c = -5 - -5. Let a = 60/31 - 1802/899. Which is greater: c or a?
c
Suppose -2*l = -3*o - 911, -388 = o + l - 86. Is o greater than -301?
False
Let t(l) = 4*l - 127. Let u be t(32). Which is smaller: u or 120/11?
u
Suppose -5*z - 5 = -5*s, -2*s + 11 = 3*s - 2*z. Suppose -t - 20 = -s*t. Let d be ((-3)/t)/(3/12). Is -2 at least as big as d?
False
Let z = 61 - 56. Which is smaller: z or 7?
z
Suppose -w - 4 = -6. Suppose -5*k + w*v = -2 + 12, k - 4*v = -20. Which is smaller: 1 or k?
k
Let m(x) = x**2 + 3*x - 1. Let u be m(-4). Suppose a + 1 = u. Suppose -2*n - 8*p + 4 = -6*p, -5*n + 3*p + 10 = 0. Does n = a?
True
Suppose 10*o = 3203 - 353. Which is greater: o or 567/2?
o
Let b be 1*18*(-2)/(-2). Suppose 4*k + 0*k = z + 24, 3*k + z = b. Suppose -20 = -k*h + h. Which is bigger: h or 1?
h
Let c(v) = v**3 + 4*v**2 + 3*v + 3. Let b be c(-3). Suppose b*q - 30 = -0*q. Which is bigger: 11 or q?
11
Let k be 261/258 - (0 - (-4 - -3)). Let p = k + 427/258. Let j be 1*1/(-2)*-2. Which is smaller: j or p?
j
Suppose s = 8*n - 12*n - 913, 0 = -n + 3*s - 238. Which is greater: -230 or n?
n
Suppose -2*s + s = -4. Let q be s/18 - 74712/(-865917). Let i = 2/2467 - q. Is -1 greater than i?
False
Let k(s) = 8*s**2 + 32*s + 3. Let d be k(-4). Which is smaller: 1.28 or d?
1.28
Let b = -71/5 - -3352/235. Let x = -45281651/282 - -160573. Let g = b + x. Are 1 and g unequal?
True
Let o = -3 - 0. Let f be ((-1)/(-3))/(o/(-9)). Is f <= -1/14?
False
Let i = 339.57 + -339. Is i at most 1?
True
Let c(l) = l**3 - 4*l**2 - 29*l + 1. Let b be c(-6). Which is smaller: b or -183?
b
Let a = 11 - 8. Let r(d) = 7 - 2*d + d + a*d + 5. Let x be r(-9). Is x greater than -6?
False
Suppose -1 = -5*h + 6*h. Let q be 1 + h + (-15 - 4). Which is smaller: -21 or q?
-21
Let k = -35 + 35. Let b be (-2)/(k + 1) + -12 + 6. Which is bigger: -11 or b?
b
Suppose 68*b = 64*b. Do b and 11/63 have different values?
True
Suppose 15*l - 9 + 114 = 0. Is l at least -6?
False
Let h(f) = 9*f - 35. Let k(c) = c**2 - c - 8. Let t be k(-3). Let m be h(t). Which is smaller: 4/37 or m?
4/37
Let i(a) = a**3 + a. Let x be i(0). Let s(d) = d**3 - d + 2. Let t be s(x). Suppose o - t*o = 0. Which is bigger: o or 1/13?
1/13
Let o(f) = 4*f**2 - 5*f + 7. Let r be o(4). Let t = 63 - r. Is 12 greater than or equal to t?
True
Let m(g) = 33*g - 195. Let i be m(6). Let v be 5/((-5)/(-2))*-1. Let r(s) = -s + 1. Let l be r(v). Is i at most l?
True
Let n = -98 + 80. Is 1/3 greater than n?
True
Let n = 202 - 118. Suppose -2*a = 4, n + 29 = -3*p + 5*a. Is p <= -41?
True
Let y = -4.67 - -0.27. Let i = y + 4.3. Suppose 2*q + 2 + 13 = 3*f, -5*f + 9 = 2*q. Which is bigger: f or i?
f
Let s(f) = -27*f**2 - 4*f - 3. Let b be s(-1). Let x be 10/((13/b)/(0 - 1)). Which is smaller: 19 or x?
19
Suppose -3*m + 8*m = 2*q + 29, -19 = -m - 4*q. Let n(v) = -v**2 + 6*v + 24. Let x be n(m). Is 16 greater than x?
False
Let t = 20.3528 - 0.0328. Let h = t + -30.35. Let p = h - -10. Is -0.1 smaller than p?
True
Let u = -228 + 1138/5. Is -0.02 < u?
False
Suppose -d + 15 = 4*g, -2*d + 4*g + 50 = -4. Suppose -6*w + d = 11. Which is smaller: w or 9?
w
Let p(g) = -87*g**2 + 2*g - 2. Let b be p(1). Let u = 53 - 140. Is b at most u?
True
Let i be ((-12343035)/(-725))/(-3) + -4. Let x = 5679 + i. Let b = -149/7105 + x. Which is smaller: 1 or b?
b
Let c(v) = -v + 31. Let m be c(14). Suppose -m = 2*u - 1. Let l be (3/((-12)/u))/(-2). Which is greater: -3/20 or l?
-3/20
Suppose 5*v + 52 = 2. Let f = 842 + -850. Which is smaller: f or v?
v
Let j be (-45)/(-10)*(-20)/(-6). Let a = 15 - j. Let l = 12 + -14. Are l and a non-equal?
True
Let j = 72.9 - 61.9. Let i = -0.08 - 3.92. Which is greater: i or j?
j
Let d = -2.35 - 0.55. Let a = -2.7 - d. Let y be (-5)/(-7) + (-8)/(-28). Is a less than y?
True
Let k(u) = -u**3 - 11*u**2 - 9*u + 11. Let g be k(-10). Let x be (g + -3)/((-1)/(-2)). Suppose 4*i + 7 = -9. Is x smaller than i?
False
Let u = -106 - -109. Let s(l) = -l**3 + 2*l**2 + 3*l + 1. Let j be s(u). Is j less than 2/11?
False
Let m = 15 - 17. Let h be m + 1 - -11 - 1. Suppose -2*s = 3*i + s - h, -i = 2*s - 1. Do 0.