maller: 1/93 or j?
j
Let d = -3927/8 - -493. Which is smaller: d or 1?
1
Let k = 48897/11 + -4453. Which is bigger: -9 or k?
k
Let c be 21/18*130/28. Let w = c + -241/44. Let i(v) = v**3 + 3*v**2 + v + 4. Let a be i(-3). Which is greater: a or w?
a
Suppose 2*q - 5*l - 15 = 0, -12 = 2*q - 6*q + 4*l. Suppose q = -3*k + 7*k. Let y = -8 - k. Do 1 and y have different values?
True
Suppose -14*a + 8 = -10*a. Suppose -4*o = -a*q - 2, o = q - 3*q + 8. Let t be (-2)/6*(-5 + o). Is 2/17 <= t?
True
Suppose -35 = 4*x + 37. Let h = 1941 + -1958. Is x < h?
True
Let i = 1 + -1.03. Let o = -3.03 - i. Let f = 439 - 439. Which is smaller: o or f?
o
Let c = -110.624 + -0.376. Is c at most -1?
True
Let n = -19 - -25. Let i be -1 - ((-168)/20)/n. Let x(w) = -w + 8. Let v be x(7). Which is bigger: v or i?
v
Let p = -1209 - -1210. Which is smaller: p or 29/31?
29/31
Let n be -3 - 169/13*(-2)/10. Let r = 107/20 - n. Is r bigger than -1?
True
Suppose -2*o = 2*o - 2448. Let b be -3*(8/o + 0). Which is smaller: b or 1?
b
Let c = -688 - -8932/13. Let x = -6.4 - -6.2. Which is bigger: x or c?
x
Suppose 54 = z - 2*j, -4*z - j - 2 = -200. Let m = z - 51. Are m and -7 equal?
False
Let d = -362498/41 + 8842. Is d less than or equal to 2?
True
Suppose 0 = -d - 5, 73*d - 113 = 2*p + 70*d. Which is smaller: p or -48?
p
Let p be (-1 - -1)/(-2 + -1). Let y be 3/(3/(-88)) - p. Let v be (-4)/22 - 32/y. Is v greater than or equal to 0?
True
Let o = -11799 + 7350775/623. Let z be -3 - (0 - 1)*2. Is o > z?
True
Suppose 5 + 25 = -3*k. Suppose 5*n + 6 = 5*t - 54, 31 = -3*n + 2*t. Let v be n - 1 - (6 - 5). Which is bigger: k or v?
v
Let g = 19.5 - 19.8. Is 2.1 < g?
False
Let z = 0.355 + -0.155. Is -40 at most as big as z?
True
Let u be (2/(-4))/(1/(-2)). Let n = 1.2 - -0.4. Let o = n + 0.4. Is u < o?
True
Let a = -1.2 - -12.2. Let q = -3 - a. Let y = -13.5 - q. Which is smaller: 2/7 or y?
2/7
Let c = 122/35 + -142/7. Is c <= 1/2?
True
Suppose -8*s - 1881 = -481. Is -175 < s?
False
Let g(j) = -6*j + 27. Let o be g(8). Let f = o - -30. Is f greater than 8?
True
Let z = 0 + 4. Let f be (-1)/(-2) - ((-43)/(-6) - z). Is f smaller than -4?
False
Suppose -3*f + o + 73 = 0, 3*f = 2*f - 4*o + 20. Let g = -25 + f. Is g <= -1?
True
Let k(y) = -57*y**2 - 3*y + 8. Let r be k(2). Is r at least -226?
True
Suppose 87 = 5*q - 863. Suppose -2*b - s + 0*s = 61, -5*b + 5*s - q = 0. Let g be b/(-100) + 4/(-16). Which is smaller: 1 or g?
g
Let b = -58.6 - -59.6. Is 0.038 at most as big as b?
True
Suppose 5*f + 2*w - 1 = 0, -5*f - 4*w + 9 = -2*f. Let s be f/((-2)/(-10)) - -1. Let u = -980 - -977. Is s < u?
True
Suppose 8 = 5*v + 2*p, 2*v + 10*p - 13*p - 7 = 0. Which is smaller: 10/3 or v?
v
Suppose 84 = 4*u - 108. Suppose 6*q = 3*q + u. Suppose 6*f - 2*f = -q. Which is smaller: f or -3?
f
Suppose 3*z - 33 = -3*x, -7 = -4*x + 4*z - 3. Suppose -c + x = 9. Let d be c/4 - 106/(-152). Which is smaller: d or -1?
-1
Let d = -8.3 + 27.3. Is 7 at least d?
False
Let m(s) = -2*s**2 + 9*s - 2. Let n be m(5). Is 5 not equal to n?
True
Let x be (11/(-231))/(1/(-33)). Which is smaller: x or 3?
x
Suppose 0 = y + 4, -4*d + 128 - 24 = y. Let r = 15301 + -15275. Is r >= d?
False
Let j(h) = -h**3 - 7*h**2 - 5*h - 8. Let o be j(-6). Let q(y) = -y**3 - 14*y**2 - 19. Let u be q(o). Which is smaller: u or -17?
u
Let t = 0.31 + -141.31. Let w = t - -156.9. Let v = w + -16. Which is smaller: v or 0.4?
v
Let g(z) = -7*z**2 - 63*z - 1. Let a be g(-9). Let f be 2 - (-6)/(-9) - 1. Which is smaller: a or f?
a
Let p be 2/6 + (-4)/7. Suppose 3 + 12 = -15*l. Which is smaller: l or p?
l
Let l be ((-14)/(-1))/(-1 - 1). Let h be ((-26)/50)/(l/35). Which is smaller: h or 3?
h
Let g be (-4)/(-6)*(-4 - -1). Let d be 29/g*(-18)/(-9) - -2. Are d and -27 unequal?
False
Let t = 249 - 242. Let a(u) = u**2 + 5*u + 4. Let x be a(-5). Which is smaller: x or t?
x
Suppose 3*b - 6*b + 18 = 0. Let p be (b/(-15) + (-33)/(-45))*-53. Which is greater: p or -18?
p
Suppose -1193*b = -1199*b + 750. Do b and 135 have different values?
True
Suppose o - 5 = a + 2*a, -a = -5*o - 3. Which is smaller: a or -51/16?
-51/16
Let g = -638 - -18504/29. Is g less than or equal to -1?
False
Let v(t) = t**2 + 2*t + 3. Let p be v(-3). Let l = 3891 + -3889. Is p > l?
True
Suppose 3*k + 10 = 5*k. Let r be (-2)/k + (-614)/(-10). Let n be ((-60)/r + 1)*-2. Which is smaller: n or 1?
n
Let m be (4/10)/(33/330). Let k = 3.14 - 3.1. Which is bigger: m or k?
m
Let d = 28/19 + 165/133. Suppose 9*v + 2659 = 2695. Which is bigger: v or d?
v
Suppose a = 4*a - 6*a. Is a smaller than -185?
False
Suppose -5*y = -g + 7 - 23, -3*g = -3*y. Suppose 50 = 9*v + 14. Is v bigger than y?
False
Let d(t) = -9*t**2 + t - 4. Let b be d(3). Let u = -571/7 - b. Let m = -0.287 + 0.387. Which is smaller: m or u?
m
Let z = -16 + -2. Let w = -17 - z. Which is greater: w or 0.3?
w
Suppose 277*y = 274*y - 30. Let b = 7 - 17. Is b != y?
False
Let t = -4.928 + -0.072. Let u = -111 + 112.96. Let j = -0.04 - u. Is j equal to t?
False
Let d be (-3)/(-1) + -5 + 4. Suppose d*k + 1 + 0 = 5*a, -5*k = -4*a + 11. Let c = -30/23 - -524/437. Which is bigger: c or a?
c
Let z = 50.4 - 62. Let k = -11 - z. Let p = -1.4 - k. Which is smaller: -0.1 or p?
p
Let b be (2/4)/(35/70). Are -2/31 and b equal?
False
Suppose w + 7 = 3*v, 6 = w + v + 1. Suppose w*m = m. Suppose -t + 6*t + 10 = m. Which is smaller: -9/7 or t?
t
Let m = 3/394 - 12617/1182. Let q = m + 425/39. Let r = -2.8 - -3. Do q and r have different values?
True
Suppose 0 = 18*j - 12*j - 24. Suppose 4*u = -i - 0*i - 1, 0 = j*u + 3*i + 11. Which is smaller: u or -5?
-5
Suppose 4*u - 5*u = 2*t + 370, 3*t + 2*u = -557. Let d = -357/2 - t. Which is bigger: 5 or d?
5
Let y = 3 + 3.5. Let i = -2.66 + 2.56. Is y > i?
True
Let k = 134.3 - 87.04. Let v = k - 48. Let l = 0.8 + v. Which is smaller: -0.1 or l?
-0.1
Let r be 30*((-8)/(-10))/2. Let y(h) = -4*h**2 - h + 2. Let c be y(-2). Let m = c + r. Is 1/12 greater than m?
True
Let u = -28 + 27. Let j be (34/(-10))/u + -3. Is 9 < j?
False
Let u = -3 - -2. Let t be 19947/1525 + 0 + -13. Is t at least as big as u?
True
Suppose 0 = 134*p - 133*p - 54. Which is bigger: p or 53?
p
Let b = 10734 - 1534971/143. Is -0.2 not equal to b?
True
Let y = -32.1 - -36. Let n = 0.3 + -4.3. Let d = y + n. Is -6 bigger than d?
False
Let b = 5697/22 + -259. Let i(w) be the second derivative of w**5/20 + w**4/4 - 5*w**3/6 - 5*w**2/2 + w. Let y be i(-4). Which is smaller: y or b?
y
Let k = 0.27 + -0.48. Let s = k + 0.11. Is -16 > s?
False
Let w = -270 - -269. Is 0.17 less than w?
False
Let n be 7 - (-2 - (-156)/17). Does 0 = n?
False
Let k be (2 - (2 + -3)) + 65/(-65). Do k and -279 have the same value?
False
Suppose 51*h + 32 = -19. Which is smaller: -14 or h?
-14
Let d = -4.0119 - -0.0119. Is -89 greater than or equal to d?
False
Let i = -12 - -15. Let a be ((-18)/(-32))/i*2/(-15). Which is bigger: 0 or a?
0
Suppose -222*t + 221*t + 16 = 0. Which is greater: t or 25?
25
Suppose 0 = 12*a - 13*a + 4. Suppose 3*p = 6*r - r + 220, -a*r - p = 193. Is -48 less than r?
True
Suppose 0 = 4*m - 5*n + 139 - 39, 2*n = 4*m + 100. Suppose -52 = -3*f + 50. Let j = m + f. Which is greater: j or 10?
10
Let r = 7 + -7. Let f = -28 + 0. Let g be (2/f)/(12/(-21)). Are r and g unequal?
True
Let s(j) = j**3 + j**2. Let q = 12 + -11. Let b be s(q). Suppose 5 = -2*o + 11. Does o = b?
False
Suppose -p + 2 = -4*c, -3*c - 2*c + p = 3. Let a be 0 + ((-27)/(-18))/(c/2). Is -0.05 != a?
True
Let p = 14 + -15.8. Let h = p - -2. Let l = -6.5 + 6.9. Is l < h?
False
Let u be (-57)/(-285) - (-2)/(-10). Is u at least as big as 2/241?
False
Let y = 115 - 82. Let c = -33 + y. Let v = -3706/19 + 195. Is v <= c?
True
Let t be ((-1856)/(-309) + -6)/(5/105). Does t = 0?
False
Let o be 2/(-8) + 12/176. Let j = -19.47 - 2.13. Let b = 22 + j. Is o at most b?
True
Let n = -14 + 26. Let d = n - 8. Let x = -528.7 + 529. Are d and x equal?
False
Suppose 3*b = b + 12. Suppose 0 = -b*o + 2*o - 80. Let h = 334 + -353. Which is bigger: h or o?
h
Let z = -20 - 3. Let p = -51.3 + 51.3. Which is smaller: p or z?
z
Suppose 2*g = 34 + 64. Let u = g + -49. Is u < 4/61?
True
Let i be -777*(4/(-3) - -1). Is i >= 259?
True
Let c = -261/97 - -65556/679. Let p = 94 - c. Let t = 4 + -4.1. Which is greater: p or t?
p
Su