t most 2/137?
True
Let d = -39 - -88. Let p = d + -48. Let k be (2/3)/((-14)/9). Which is smaller: k or p?
k
Let a = 436 - -162. Suppose -v = 434 + a. Let i be (-3)/(v/4)*-4. Which is smaller: i or 0?
i
Let s be (-444)/((-16)/(-24)*-3). Which is smaller: s or 221?
221
Let s = -58 - -83. Let p = -173/7 + s. Let t = -1 - -2. Are t and p equal?
False
Let r = -227 - -291. Which is bigger: r or 63?
r
Let p = 300.9 + -300.7. Let r = -12.6 - -15. Is r at least p?
True
Let j(n) = n**2 - 2*n + 3. Let p be j(7). Suppose p = -3*h + 2. Let b = -5 + -8. Which is greater: b or h?
h
Suppose -55 = 2*h - 21. Let j = -35 + 28. Let b = -10 + j. Are b and h nonequal?
False
Suppose 3*g = -6, 28*s - 26*s - 46 = -g. Are 26 and s non-equal?
True
Let a = 0.0538 - -179.9462. Which is smaller: a or -0.1?
-0.1
Suppose 93 = 5*d - g, -6 + 0 = -d - 4*g. Let z = -39 + 28. Let p = d + z. Which is smaller: p or 8?
p
Suppose -27 = -6*h - 3. Suppose -h + 2 = -2*z. Let m = 5638/7 - 804. Which is bigger: m or z?
m
Suppose -36 = -5*n + 2*r, -5*n + 6 + 12 = 4*r. Suppose -15 - 51 = -n*j. Is j greater than 23/2?
False
Let x = -167489/780 + 859/4. Which is smaller: 0 or x?
0
Let c = -0.15 + 0.3. Let j = 37.8 + -37.8. Are j and c unequal?
True
Suppose 0 = -2*t + 3*u + 3, -t = -0*t - 2*u - 1. Suppose 2*m + 0*m - 2 = 0. Which is smaller: m or t?
m
Let s be (1/3)/((-2)/6). Let f be (-63)/6 - s/(-2). Let m be 31/(-15) + 238/170. Which is smaller: f or m?
f
Let t be 5 - (-7 + 13) - -221. Which is smaller: 221 or t?
t
Let x = -18.7 + 3.7. Let t = -0.49 - -15.49. Let w = x + t. Is -2/5 <= w?
True
Let d(p) = p**2 - p - 3. Let x be d(4). Let g = 6 - x. Let i be (g/4)/((-4)/(-16)). Are -3 and i unequal?
False
Let i = -662/11 + 674/11. Which is bigger: i or 1?
i
Let f = -31431/25 - -1257. Let h be (-3 - -6)/(-1) + 4. Is h not equal to f?
True
Let a(y) = -y**3 - y + 3. Let l be a(0). Suppose -2*d = l*d. Suppose 4*g - 10 = 4*c + 6, c + 3*g - 12 = d. Which is bigger: -1/4 or c?
c
Let u = 33 - 135. Let b be -3 + 5 - (-201)/u. Which is greater: b or 0?
b
Let s(v) = v**3 + 6*v**2 - v - 20. Let j be s(-6). Let f be (-8)/j - 4*1/14. Which is greater: -2/25 or f?
f
Let n be 1/(6/42) - 86. Is n > -79?
False
Suppose 47*o = 49*o + 8. Let h be (-2)/(7 - (8 + o)). Which is smaller: -20 or h?
-20
Let x be 31/(-3)*(-1)/((-29)/26). Let n = 28/3 + x. Do 0.02 and n have the same value?
False
Suppose 3*m - 8*m = -10. Let c = -785 - -785.04. Are c and m unequal?
True
Let c = -96 + 44. Let n be 1 - 100/26 - (-8)/c. Let w = -5/12 - 13/12. Is n >= w?
False
Suppose -2*k = 4, -2 = -c + 2*k + 3. Let h be 2/6*36/116. Is h less than c?
True
Let h be (-4)/7*((-5)/2 + 1). Is h smaller than 2?
True
Let i be ((-8)/1766)/(-33 - -35). Does i = 0?
False
Let v(w) = 18*w**2 + 38*w - 8. Let g be v(-2). Suppose -25 + 68 = -5*u + 4*a, -3 = a. Which is bigger: u or g?
u
Let i = -1417 + 1603. Which is bigger: 185 or i?
i
Let q(v) = -v + 3. Let x be q(2). Suppose j + 0 = -3*g - x, -4*j = -3*g + 4. Let d be 153/540 - 1/3. Do d and g have the same value?
False
Let i = 6 + 2. Suppose -5*w + y - 8 = -3*y, w - i = -4*y. Suppose w = 2*r - 6 - 2. Which is bigger: 3 or r?
r
Suppose 15*a - 19565 = -28*a. Does a = 453?
False
Let c = 17 + 16. Is 33 bigger than c?
False
Let u = 0.0522 - -0.9478. Is 3/4 >= u?
False
Let d be (18/(-15) + 0)*-10. Suppose u = -u + d. Let p = 1/4 - -1/12. Are u and p nonequal?
True
Let w = 33 + -40. Suppose -4*f - 9 + 28 = -3*t, 5*t = f - 9. Let j be -2*t/4 + 0. Is w greater than or equal to j?
False
Let b = -0.1029 + -13.9071. Let g = -0.01 - b. Which is smaller: 0.1 or g?
0.1
Let j = 2 + 1. Suppose 10*v - 5*v - 20 = -3*x, j*v + 4*x - 12 = 0. Suppose 33 = -v*g - 31. Is -15 equal to g?
False
Let j be (-108072314)/1183875*86/12052. Let t = j + 1/1296625. Let o = 2/131 - t. Which is smaller: 0.6 or o?
0.6
Suppose -5*s = -90 - 10. Suppose -u - j + 4 = 0, s = -u + 5*u + 5*j. Let q be -3 + 2/(-2 - u). Which is bigger: 0.1 or q?
0.1
Suppose 8*j - 23 + 15 = 0. Which is smaller: 1/118 or j?
1/118
Let a = -144 - -8210/57. Let y be ((3 - 1) + -1)*1. Which is bigger: a or y?
y
Suppose -85 = -4*t - 5*f, 0 = -t - t - 4*f + 38. Let c be 90/t + (-6)/(-15). Suppose -3*p = -4*l - c, 2*p + p = 3*l + 3. Is -1/7 smaller than p?
True
Let i = 425/21 + -59/3. Which is smaller: 7 or i?
i
Let j = 86.4 - 86.4. Is j less than -12.4?
False
Suppose 35 = y + 2*n, 3*n - 2 = -14. Let l = 46 - y. Which is smaller: l or 1?
1
Let z = 5.5 + -8.5. Which is smaller: z or 0.2?
z
Let d be (-9)/(5 - (-26)/(-1)). Is d bigger than 0.02?
True
Let a(z) = 3*z**2 - 48*z + 94. Let w be a(20). Which is bigger: w or 335?
335
Let n be (0 - 1 - 0) + -1. Suppose -6*s = -12 + 18. Which is greater: s or n?
s
Let n = -1 - -2. Let o be -1*(2 + n) - 198/(-11). Which is smaller: o or 14?
14
Suppose -24 + 34 = 2*k. Let r = 16 - -13. Suppose -k*a + r - 24 = 0. Is 16 at least a?
True
Let o = -8 - -15. Suppose 0*s = 5*s. Let j = o - s. Which is bigger: -0.1 or j?
j
Let y = -242 - -241. Is -16/39 less than or equal to y?
False
Suppose -3*i = 2*s - 19, 11 = -6*s + 9*s + i. Is s not equal to 19/34?
True
Let u = -6 - -7. Let s = -664121/252 + 18434/7. Let i = 20/9 + s. Which is bigger: u or i?
u
Let a(r) = r**3 + 4*r**2 + 3*r. Let u be a(-3). Let c = -4/41 - 62/205. Which is greater: c or u?
u
Suppose t - 3 - 2 = 0. Let g = 2810 + -2821. Is g <= t?
True
Let x = 550 - 403. Are x and 149 nonequal?
True
Let j(b) = b**2 + 17*b + 6. Let q be 172/6 + 6/(-9). Suppose 0 = -2*k - 6 - q. Let h be j(k). Which is greater: 9/2 or h?
h
Let t(s) = -3*s + 8. Let i be t(3). Let u be -4 + 6 - (i - -2). Is 9 <= u?
False
Let u = 1862/5 + -371. Let k(q) = -8*q**3 - 34*q**2 - 10*q - 6. Let t be k(-4). Is u at most as big as t?
True
Let l be ((-184)/(-54))/(7/105). Let h = l + -51. Let r = 5/9 + h. Does -12/11 = r?
False
Let h = 499 - 499.42. Is -1 at most as big as h?
True
Suppose -2*f + 10 = 3*m, 4*m - 16 = -0*m - 4*f. Suppose 65 = j + 5*p, m*j = 3*p + 2*p + 55. Let h be j/24 - 4/6. Which is smaller: h or -1/10?
-1/10
Let q = -2227 + 2248. Which is smaller: 13 or q?
13
Let p = -6 + 56. Let s = -44 + p. Which is greater: s or 3?
s
Let n be (-49)/(-14)*8/(-16). Is n bigger than 6?
False
Let a = -128.9 - -6.9. Do 0 and a have the same value?
False
Let z(g) = g + 7. Let t be z(-6). Which is bigger: -1/26 or t?
t
Let n = 2/68551 - -18304/43941191. Is 1 smaller than n?
False
Let y(t) = -2*t - 6. Suppose -o + 3 - 9 = c, -3*o - 6 = 0. Let b be y(c). Let w = -3 + b. Which is smaller: w or -2/3?
w
Let f = 18.2 + 64.8. Let w = -83.08 + f. Which is smaller: -0.1 or w?
-0.1
Let o be 12/728 - 58/203. Which is smaller: -1 or o?
-1
Let x be (-32)/8 + (-37)/(-9). Let n(k) = 2*k - 7. Let a be n(3). Which is smaller: x or a?
a
Suppose 2*p + 26 = -2*o, 4*p + o = -38 - 20. Let u = 16 + p. Is -1/16 <= u?
True
Let j = -16.4 - -16.1. Is j bigger than 21/5?
False
Suppose -2*m = 3*i - 3, -i - 1 = 3*m - 2. Let l be (-2)/((-2)/18 + m). Let w be l/(-12)*(-2)/(-8). Which is smaller: w or -1?
-1
Let i be (-2)/(-6) + (-5)/(-75). Let k = -2.2 + 2.62. Let u = 0.08 + k. Is i <= u?
True
Let a = 3.2 + -4.88. Let q = a - -0.08. Let i = 1.3 + q. Are i and -1 non-equal?
True
Let l = -17.91 + 18. Let r = -1.19 + l. Let h = r - -1.06. Are -2 and h non-equal?
True
Let s(h) = h**2 + 15*h + 25. Let f be s(-2). Are f and -1/3 unequal?
True
Let k(i) = -2*i**3 + i**2 + 4*i - 5. Let r be k(2). Let a be (6/r)/((-1)/(32/(-2))). Do -11 and a have the same value?
False
Let p(j) = -2*j - 4. Let r be p(0). Which is greater: -3 or r?
-3
Suppose -13 = -2*g - 3*c, 4*g + 2*c + c = 23. Suppose -h - b = 29, h = -0*b + g*b - 29. Let o = h + 28. Which is greater: o or 2/21?
2/21
Let s(q) = q**2 - 7*q - 2. Let j be s(5). Let m(v) = -v**3 - 13*v**2 - 12*v - 2. Let n be m(j). Let k be 2 - n*18/(-16). Which is bigger: 0 or k?
0
Let z(h) = -26*h - 1. Let u be z(-2). Suppose -2*b = u + 61. Is b at most -1?
True
Let j = -1546 + 1560.4. Is j <= 0.5?
False
Suppose 977*l = 973*l - 952. Is l at most as big as -237?
True
Suppose -w = 3*c - 5, -c - 2*c + 2 = 4*w. Let l(d) = -d**3 - 17*d**2 - 13*d - 205. Let a be l(-17). Which is greater: c or a?
a
Let y = 161/66 - 57/22. Let m = y + -2/11. Is m less than 0?
True
Let h(b) = 2*b**2 + 4*b - 8. Let d(u) = -u - 11. Let c be d(-6). Let 