
Let o = 5.06 + 44.94. Which is greater: o or 0.01?
o
Let s = 0.03 - 0.03. Which is smaller: -200 or s?
-200
Let i = 0.02 + -67.22. Let d = i + 67. Which is bigger: -0.12 or d?
-0.12
Let c = -305.6 + -235.4. Which is smaller: c or -1/4?
c
Let j(t) = -4*t**2 + 3*t - 7. Let y be j(5). Let k be 4/14 + y/28. Let q be (8/3)/((-2)/k). Is q >= 10/3?
True
Let b = 1338 + -1419. Which is bigger: b or -88?
b
Let f(u) = -u**2 - 6*u + 13. Let t be f(-9). Let p be (-40)/24*-18*1/(-2). Is t at least as big as p?
True
Let m be (-5)/(-25)*4*15/6. Which is greater: 5/2 or m?
5/2
Let b be (-1)/2 - (-891)/1694. Is 0 not equal to b?
True
Let u(n) = -n**3 - 5*n**2 + n + 3. Let s be u(-2). Let o(h) = -4*h - 40. Let x be o(s). Does 2 = x?
False
Let x be (-3)/15 + 16/(-20). Which is smaller: 426 or x?
x
Let d(l) = 2*l + 18. Let x be d(-9). Suppose 0 = 2*j - 2*p - 30, x = -5*j + 3*j + 4*p + 40. Suppose 0 = -j*y + 6*y. Is -4/11 greater than or equal to y?
False
Let w(m) = m**2 - 10*m + 6. Let v be w(8). Suppose -9*z - 104 + 5 = 0. Are v and z nonequal?
True
Let v be (-8 + 15 + -7)/2. Is v less than -4/69?
False
Let u = 1241/4 - 2175/7. Which is greater: 1 or u?
1
Let p be ((-14)/84)/(2/(-218)). Let k = p - 799/42. Which is smaller: k or -1?
-1
Let r be (6/18 + 4/6)*-99. Let b = -112 - r. Which is bigger: -11 or b?
-11
Let c = 10 + -7. Suppose -c*d - 12 = 0, -6 - 5 = -5*i + 4*d. Let y be (9 - 12) + 3*i. Which is bigger: -7 or y?
y
Suppose -o = 3*w - 28, 0 = -3*w + 5*o + 65 - 43. Which is bigger: -11 or w?
w
Suppose -2*s + 0*s - 21 = d, 0 = 2*d - 2*s + 30. Suppose 0 = 3*n - 7 - 8. Let i = -12 - n. Does i = d?
True
Let b be 4/(-1) + 1 + 1. Let m be 4075/2040 - b/6. Let a = m - 46/17. Which is smaller: a or 1?
a
Let n = 33 + -88. Is n at least -55?
True
Let d = 0.3 + -0.24. Let q = -7.46 + 8.46. Is d less than q?
True
Let z be 3*8/(-12)*-10. Let k = z - 21. Which is greater: k or -2?
k
Let h(p) = p**2 - 10*p + 13. Let q be h(9). Suppose -26 = -q*o + 2*v, -5*o - 4*v = -0*o - 52. Let b(f) = -f + 7. Let y be b(o). Is y at least as big as -2/17?
False
Let z = 79 + -75.3. Let u = -3.7 + z. Let r = -4 + 4.03. Is r at least as big as u?
True
Let i = -27.52 + -0.48. Let p = i - -5. Let n = -23 - p. Which is greater: -1 or n?
n
Suppose 4*i - 2 = 3*i. Let l = 2 - i. Let q be ((-36)/(-228))/(-3)*(-2 + 5 - 2). Do l and q have the same value?
False
Let d(c) = 3*c - 5. Let i = 49 + -58. Let a be d(i). Are a and 0.1 non-equal?
True
Let y = 15143/10 + -1513. Let j(f) = -6*f**2 + 14*f + 13. Let i be j(3). Which is smaller: i or y?
i
Let s be -443*(-2)/(-168) + 3 - -1. Let w = 3/28 + s. Is w greater than -2?
True
Let p = 72 - 64. Are 2/7 and p non-equal?
True
Suppose 30 - 18 = 4*h. Suppose z + 3*p = 4*p + 21, -2*z + h*p = -41. Is 23 at most as big as z?
False
Suppose -2*t - 66 = -4*j, 4*t + 176 = -4*j + j. Which is smaller: -46 or t?
-46
Let f be (-171)/60 + (-2)/5. Let c(z) = -49*z - 52. Let k be c(-1). Which is smaller: k or f?
f
Let t = 3.69 + 0.31. Let k = 3.2 - t. Which is smaller: -2/13 or k?
k
Let h be (-1)/((-5)/(-15)) + -53. Is -54 greater than h?
True
Suppose 511 = 12*c + 1747. Which is smaller: c or -104?
-104
Let r = 0 - 0. Let u = -0.51 + 53.01. Let a = u - 53. Which is bigger: r or a?
r
Let h = -8557/185 - -231/5. Which is greater: 0 or h?
0
Let q(n) = n**3 + n**2 - 2*n. Let v be q(-2). Suppose 5*w + 5*d - 35 = v, d - 29 = -5*w - d. Suppose -7 = -2*g - w. Is 1/5 at least as big as g?
False
Let q(l) = -2*l - 33. Let k be q(-9). Let d be k - ((-88)/40 + 1/5). Is d less than or equal to -5?
True
Let w(h) = h**3 - 4*h**2 - 2*h - 1. Let i be w(5). Let j = 40 - 29. Let q = j - i. Is q smaller than -2?
True
Let m be (54/36)/((-6)/(-8)). Suppose 0 = -0*t - m*t + 10. Does 3 = t?
False
Let q be (-2)/12 + 9/(216/(-20)). Which is bigger: 5/64 or q?
5/64
Suppose 0*d + 156 = 2*d + k, -4*d + 322 = -3*k. Suppose 0 = 10*r + d - 269. Which is greater: 18 or r?
r
Suppose -4*u - 4*z - 99 + 583 = 0, 0 = 2*u - 2*z - 238. Suppose 2*k + u = -4*k. Is -1 > k?
True
Let m be (0/(-4) - 0) + -4. Let f be -3 + 2 - (-28)/m. Let w be -12*-6*1/f. Is w < -10?
False
Let w be (-18 + 20)*3/(-1). Let i(u) = 5*u - 41. Let y be i(w). Do -71 and y have different values?
False
Let r = 58.52 - 0.52. Let y = r - 57.98. Which is greater: 2/3 or y?
2/3
Let z be ((-24)/(-18))/((-1)/6). Let t = 1644 - 1651. Is t at least as big as z?
True
Let p(k) = k - 8. Let o be p(11). Suppose a - o = 3. Which is greater: 8 or a?
8
Let v(l) = -l**2 - 7*l + 1. Let y be v(-7). Suppose f + y = -4. Let p = f - -4. Which is smaller: p or -14/11?
-14/11
Suppose 3*i - 6 = 2*p, 5*i - 29 = -3*p - 0*p. Suppose -2*d - 2*d + i = 0. Suppose f + 4 = -d. Which is smaller: -6 or f?
-6
Let o = 0 + 12. Suppose -o = 4*a, 3*v + 3*a - a - 42 = 0. Is v smaller than 16?
False
Suppose 16*y = -6*y - 22. Is 1/236 greater than y?
True
Let g(l) be the third derivative of l**4/6 - 7*l**3/2 + 16*l**2. Let s be g(6). Which is bigger: 1 or s?
s
Let a = -7764/5 + 1560. Which is smaller: 7 or a?
7
Let v = -8 - -10. Let w be (1 - -1)*(-5)/(-1). Suppose -w + v = -j. Is j equal to 7?
False
Let p = -3925/4 - -978. Let u = -2 - -2.2. Which is greater: p or u?
u
Let s be ((-3)/9)/((-1)/15). Suppose f = 2*p - 1, 2*f + 0*p + 3*p = 19. Suppose -s*d - u = -6*u + 55, -u = f*d + 49. Which is bigger: d or -2/5?
-2/5
Let c be (-2 + 0)*13/(-52). Suppose 5*z = -4*o + 21, 3*z - 3*o + 8 = -1. Which is greater: z or c?
z
Suppose 5*r - 401 = 129. Let x = 851/8 - r. Let s(p) = p**3 - 6*p**2 - 9*p - 57. Let j be s(8). Do x and j have different values?
True
Let b be 2*((-80)/28)/(-10). Do b and 81 have different values?
True
Let d = -2672154495/559 + 4780237. Let k = d - -48/13. Which is bigger: 1 or k?
1
Suppose -18 = 2*q + g, 16*g = 3*q + 19*g + 27. Do q and -114/11 have the same value?
False
Let c(x) = -947*x + 41. Let n be c(11). Let v be (n/5180 + 2)*20/(-8). Is v less than 1?
True
Suppose -4*l - 64 = -16*y + 12*y, 5*y + 18 = -2*l. Suppose -5*t + 23 + 147 = 0. Suppose 0 = 5*a + 10, -5*a - 18 - t = 3*n. Is l less than or equal to n?
True
Let m be (-127)/2 - 54/(-108). Is m at least -317/5?
True
Let y(t) = -4*t**2 + 34*t + 4. Let q be y(8). Which is smaller: 0 or q?
0
Let l = 58045/132 + -1749/4. Let k = -20/11 + l. Are k and -3 equal?
False
Let t(r) = -r**2 - 7*r - 5. Let x be t(0). Which is smaller: x or -1/4?
x
Let c(j) = -j**2 - 19*j + 2. Let i be c(-16). Is 47 greater than or equal to i?
False
Let a = -0.3 + 0.5. Let o = 176 + -172.2. Let m = o + a. Is m less than -1?
False
Let k = -232613/1071 - -1957/9. Let p = k + 2557/714. Is p < 4?
True
Let s be ((-2)/(-5))/((-108)/(-10)). Suppose 0 = -39*j + 36*j. Is s less than or equal to j?
False
Suppose -4*p - 14 = -0*q - 2*q, -3*p = -2*q + 13. Let k be ((4 - 5)/4)/((-25)/24). Is k smaller than p?
False
Suppose -u + 4 = 0, 7 = 3*j + 5*u - 4. Which is bigger: j or 7?
7
Let x(n) = -n**2 + 9*n - 14. Let r be x(4). Suppose -6*y - r*y = 12. Which is smaller: y or 1/70?
y
Let d(c) = -c**3 - 8*c**2 - c - 11. Suppose 0 = -2*a - 3*f - 19, -4*a + 5*f - 2*f = 29. Let b be d(a). Let q = -2 - b. Is q <= 2/25?
False
Suppose 28 + 12 = -4*m. Let i be m*(21/(-15) - -1). Suppose 0*z = i*z + 32. Is z greater than or equal to -7?
False
Let r(k) = -k. Let v be r(3). Let o be 2/((1*-9)/v). Let q be 3/20 + (-2)/5. Is q smaller than o?
True
Suppose -5*h + 7*p - 4*p = 17, 4*p - 12 = -4*h. Which is smaller: -15/181 or h?
h
Let c = -27 + 10. Let d = c + 16.7. Is d less than -0.1?
True
Let m = -319 - -319.1. Which is greater: -213 or m?
m
Suppose 39*a - 19*a + 180 = 0. Is -90/11 greater than or equal to a?
True
Suppose 8*j + 208 = 6*j. Let o be (-4)/26 + (-354)/j. Which is bigger: 2 or o?
o
Let t = 965 + -6749/7. Let w be (4/12)/((-1)/(-6)). Which is smaller: w or t?
t
Let p = -0.113 + 0.013. Which is smaller: p or -4.9?
-4.9
Let w(h) = -4*h**3 + 34*h**2 - 77*h + 4. Let n be w(8). Is -486 > n?
False
Let n be (-3 + 6)/((-2)/(-14)). Suppose 4*o + 16 = -x, -x + 4*o + n - 5 = 0. Suppose 5*k = -x*k + 15. Is k at least 6?
False
Let o = -297 + 295. Let n be 10/(-6) + 2/3. Which is bigger: o or n?
n
Let q be ((-12)/14)/(1798/(-203)). Does 1 = q?
False
Let o = 0.26 - 0.06. Let k = -1.8 + o. Let x = 0.4 - k. Are x and 2 non-equal?
False
Let o = -12.1 + -0.9. Let p be (-51)/(-3