r: j or 1/2235?
1/2235
Let q = 1031.99 - 1032. Which is smaller: -126 or q?
-126
Let l = -2457 + 2927. Which is smaller: 472 or l?
l
Let c = 28 - 23. Suppose -5*h - 240 = -c*g, 3*h + 3*g = -h - 178. Let b be (h/12 + 4)*2. Which is bigger: -1 or b?
b
Suppose -67*p + 74*p = 707. Which is smaller: 98 or p?
98
Let i be (10 - 2)/(6/12*-1). Let p be -1*((-90)/(-3))/2. Which is greater: p or i?
p
Let f(v) = -12. Let t(c) = c - 12. Let u(s) = 3*f(s) - 4*t(s). Let q be u(8). Let w be q/(-6)*24/(-20). Which is smaller: -5/2 or w?
w
Let t = -27 + 21. Let u be (-7)/(-3) + (-68)/(-12) + t. Is u greater than or equal to 2?
True
Let j(w) = -w**2 + w + 66. Let h be j(11). Which is smaller: h or -300/7?
h
Let k = -230 - -154. Which is smaller: k or -381/5?
-381/5
Let g be (-5 - -6)*3 + (-32)/10. Is 1.6 at most g?
False
Suppose 3*d + 2 = 2*q, -6*q = 3*d - 5*q - 10. Which is smaller: -6 or d?
-6
Suppose 3*t + 4*y + 5 = 0, 5*t = -4*y + 2 + 3. Suppose -2*n + 25 = t. Is 9 < n?
True
Let x = -68/7 + 60/7. Is x less than or equal to -2?
False
Let d = 0.1 - 5.1. Let t = -2 + d. Let s = -99.2 - -98.2. Is s < t?
False
Let u = -25041 + 25042. Let w = 0.26 - 15.26. Is u less than w?
False
Let j = 1413 + -1427. Is j not equal to -21?
True
Let y = 42 - 42.03. Let a = 0.07 - y. Let l = 1.06 + -1.1. Which is smaller: l or a?
l
Let j = 5163 + -46405/9. Which is smaller: 6 or j?
6
Suppose 2*p = -4*w - 12, 5*p + 2*w = 1 - 7. Which is bigger: p or 1/349?
1/349
Suppose -5*y - 7 = w - 5*w, 0 = -5*w + 15. Let j be ((-250)/100)/(1/(-2) + y). Is j < -9?
False
Suppose -52*m + 49*m = 5*b, -2*m = b. Is -34/95 > m?
False
Let v = -5.61 + -0.99. Let f = -29.6 - v. Are f and 0 equal?
False
Suppose 47 = 3*u + 41. Suppose 2*p = 5*v - 32, 0 = u*v + 2*p - 12 - 12. Which is bigger: 7 or v?
v
Suppose 3*z = -9 - 9. Let b = z - -2. Suppose -11 = 2*m - c, 4*m = 2*m + 5*c - 31. Which is smaller: b or m?
b
Let j = 0.0682 - -0.0618. Let x = 1 + -1. Are j and x equal?
False
Let r be 102 + 4 + (0 - 4). Is 102 greater than or equal to r?
True
Let u(y) = -y**2 + 5*y + 7. Let v be u(6). Let j = -117/685 + -4/137. Which is smaller: v or j?
j
Let o be (-3)/(-12) + (-19)/124. Suppose -141 + 141 = -16*a. Which is greater: a or o?
o
Suppose 4*p = 82 - 34. Let l(z) = 5*z**2 - z - 3 - 3 + 2*z**3 - z**3 + 3. Let d be l(-5). Which is bigger: d or p?
p
Let l be 58/(-4)*(-10)/(-5). Is -26 at most l?
False
Let y = 68/9 + -349/45. Do y and 1 have the same value?
False
Let z = 17/24 + -191/168. Is z >= -2/9?
False
Let n = -32 - -37. Suppose -8*f = -n*f. Let z be (3 - 14) + (f - 1). Which is smaller: -13 or z?
-13
Let h = 13.8 + -19.4. Is h >= -1?
False
Suppose -391*m - 18 = -373*m. Which is smaller: m or -15/134?
m
Let p = 18.8 + -22. Let i = p - -6.2. Which is smaller: i or 0.1?
0.1
Let z be 2/(-114)*2*(-117)/6. Are z and 0 nonequal?
True
Let w(g) = -3*g**2 + 15*g - 65. Let j be w(7). Is -105 != j?
True
Let a = 0.264 + -0.171. Let z = -0.107 - a. Suppose q + 20 = 5*q. Is q at least z?
True
Let j(a) = a**2 + 10*a + 7. Let s be j(-1). Is s at most -360?
False
Let a be 4/7*(-124)/48856. Is 1 != a?
True
Suppose 180 = 74*t - 38*t. Is 2/11 greater than t?
False
Let o(p) = 7*p + 4. Let u be o(-1). Let w = 3/442 - 9297/2210. Is w < u?
True
Let r be (-1)/5 + 16/5. Suppose 9 + 0 = r*s. Suppose 0 = s*g - 5*l + 2, 0 = -4*g + l - 6*l + 9. Which is greater: 2/13 or g?
g
Let o be -1*1/2*0. Let v be ((-54)/(-9))/((-2)/(-3)). Let y be 3/v - (-4)/15. Which is smaller: y or o?
o
Suppose 0 = -a - 5*o - 12, -2*o = -5*a + 3*a - 12. Let n = a - -4. Let t = 24 - 28. Which is smaller: n or t?
t
Let u(i) = 4*i + 7. Let w be u(-3). Suppose d - 3 = -2*d. Let p = d - 8. Is p > w?
False
Let n = 158351 + -1738525/11. Let m(w) = -4*w**3 - 4*w**2 + 9*w - 19. Let u be m(4). Let p = n + u. Is -1 smaller than p?
True
Let f = -55 + 55.05. Let o = -0.06 - f. Is -1 smaller than o?
True
Let a = -1333 - -1348. Let o = 0 + 1. Which is bigger: o or a?
a
Let f = 53356 - 374236/7. Let o = f + 106. Let a = 0 - 3. Which is smaller: a or o?
a
Let f be 3/477*(2 + 0). Let g = f + -55/159. Let c = -4114 - -4125. Is g less than c?
True
Let y = -886 - -926.1. Let t = 42 - y. Let x = 2.9 - t. Does x = 2?
False
Let k = -588.41 - -586. Let c = -2.3 - k. Are 0.1 and c nonequal?
True
Let u = -733 - -777. Which is bigger: u or 37?
u
Let z(c) = -12*c + 1. Suppose 4 - 1 = -3*v. Let p be z(v). Let q(r) = -r**3 + 12*r**2 + 13*r + 5. Let y be q(p). Which is bigger: 2/3 or y?
y
Let f(r) = -2*r**3 - r**2 - r. Let s be f(-1). Let w(t) = t**2 - t. Let z be w(-1). Let p be ((32/4)/z)/(2/(-3)). Is p greater than s?
False
Let o(f) = -f**2 + 18*f - 16. Let x be o(17). Suppose 2*l = -v + 3, -5*l - v + x = -5. Which is smaller: l or -8/19?
-8/19
Let u(y) = -3*y - 12. Let g be u(-5). Let i(c) = c**3 - 6*c**2 + 4*c + 2. Let x be i(g). Is x != -13?
False
Let k(h) = h - 2. Let r(a) = 10*a + 25. Let s(f) = -k(f) + r(f). Let p be s(-5). Let u(v) = v**3 - 4*v**2 - 4*v - 2. Let z be u(-2). Is z bigger than p?
False
Suppose -5*d - 2148 = -2153. Which is smaller: 17/52 or d?
17/52
Suppose -p - 2*p - 3 = 4*o, -5*p - 34 = -3*o. Suppose -4*t - 26 = o*k, -10 = -2*t + 3*t - k. Which is smaller: -17/2 or t?
-17/2
Let a be (-16)/56*6/12. Do a and 0.48 have different values?
True
Let x = 3.9 - 4. Let n = 10996 + -329831/30. Let p = -2/15 + n. Is p bigger than x?
True
Let r = 3926.07 - 3958. Let x = -0.054 + -31.946. Let b = r - x. Which is greater: 2/7 or b?
2/7
Let b be ((-207)/(-6))/((-2)/(-12)). Let o be (b/(-12))/(-3) - -1. Are 8 and o equal?
False
Let x = -1 - -4. Let q = -3 + x. Do -44 and q have the same value?
False
Let b = 74 + -70.9. Let g = -15 + 18.1. Let u = g - b. Are 0.18 and u nonequal?
True
Let c(q) = q**2 + 13*q + 21. Suppose -k + 2*h = 14, 0 = -k - 2*k - h - 28. Let z be c(k). Which is smaller: z or -6?
z
Let d = -701/2270 - -2/227. Which is greater: 1 or d?
1
Let k(n) = n. Let o(c) = 8*c - 2. Let s(x) = -4*k(x) + o(x). Let r be s(-2). Let g(b) = -b**3 - 3*b**2 - 2*b - 32. Let z be g(-4). Are r and z unequal?
True
Let z = -20 + -84. Which is smaller: z or -720/7?
z
Let j be ((-219)/(-45))/((-38)/(-23645)). Let s = j - 9254/3. Let r = s + 113/2. Which is bigger: 0 or r?
r
Let s = -10 + 28. Let w = 35 - s. Let c = w - 16. Is -8 greater than c?
False
Suppose -2*p - 5*u - 24 - 4 = 0, 4*u = 8. Let y = -30 - p. Suppose 2*o + 14 = 2*h, 0 = 4*h - 3*h + 4. Is y <= o?
True
Let n be -1 - (-15)/(-9) - -5. Let r = -68/29 + n. Is -1 less than or equal to r?
True
Let c(z) = -z**2 - 119*z + 1326. Let i be c(0). Is i greater than or equal to 1326?
True
Suppose -10 + 3 = -p - b, 0 = 2*p + b - 13. Suppose 69 = -p*d + 3*d. Which is greater: -22 or d?
-22
Let o = -1.02 + 1.02. Does 2/15 = o?
False
Let h be ((-1)/(-4) + -1)*-4. Let a = 12682 + -12678. Which is bigger: a or h?
a
Let x be 131 + 2/2 + 6. Is x at most as big as 136?
False
Let j = 23.5 - 30. Let p = -4 - j. Let v = p + -3. Which is smaller: v or -2?
-2
Suppose -72 = -3*l - 21. Let y = 15 - -6. Suppose -l*c = -y*c. Are -2/45 and c equal?
False
Let n(u) = -u**2 + 38*u + 63. Let h be n(38). Is 63 <= h?
True
Let a = 2.28 - 24.28. Which is smaller: 0 or a?
a
Let s = -18 - -15. Let w be -3 + 36/24 + (-6)/4. Is w at most as big as s?
True
Let z = 1 + -1. Suppose -3*x + 0*n - 2*n = z, 0 = x - 5*n. Let u = -34/3 - -235/21. Is u less than x?
True
Let v = -13 - -45. Is 33 greater than or equal to v?
True
Suppose 3*q + i + 2 = -0*i, -3*q = -3*i - 6. Suppose -b + 3*b - 5*f = q, -5*f + 20 = -4*b. Is -10 at least as big as b?
True
Suppose 345*s + 2 = 347*s. Let o(p) = p**2 - 2*p - 4. Let n be o(-4). Suppose k - 4*k - 5*t - n = 0, -4*t - 16 = -2*k. Which is bigger: k or s?
s
Let y = 123 + -134. Let j(b) = b**2 + 11*b + 34. Let r be j(y). Does r = 33?
False
Let a(k) = -10*k - 4. Let g be a(-1). Let w(s) be the second derivative of -s**3/3 + 11*s**2/2 + s. Let v be w(g). Is v > -3/2?
True
Let k = -2297 - -2298. Let p be 3 + -2 + 158/(-164). Which is greater: p or k?
k
Let s be (-2)/(((-46)/(-1))/2). Let j be ((-135)/36)/((-6)/8). Suppose 4*o - 3*i = -j*i, -3*o - 26 = -5*i. Which is smaller: o or s?
o
Let z be 126082/4784 + 26/(-169). Let c = z - 211/8. Which is smaller: 0 or c?
c
Suppose -3*z = -0*z. Suppose -3*i + x - 2 = z, i - 2*x + 4 = 4*i. Is i > -3?
True
Let o