r: u or 4?
4
Let i = 0.311 + -1.311. Is 2/3 less than i?
False
Let v = 9.977 + 0.023. Let l = v + -11. Is l at least -4/7?
False
Suppose -4*i - 83 = 57. Let z be 4/(-14) + (-115)/i. Suppose -v + 0*x = x - 4, 0 = -v - z*x + 14. Is v at least as big as -2/3?
False
Let x = -493 + 492. Which is bigger: -1/104 or x?
-1/104
Let v = 2/497 + 26126/497. Let q = v + -53. Is q at least as big as 0?
False
Let t be (-3)/2*(-1 + -9). Let o be (2 - (-1 - -4)) + t. Let s = 15 - o. Which is greater: s or 1/3?
s
Let z = -335 + 335. Let d be -4*1 - -2 - -3. Which is greater: z or d?
d
Let l = -1177/24 - -49. Is l != -1?
True
Let p be (-90)/(-48)*-4*(-2)/(-12). Let m = 0.02 - -0.08. Which is bigger: m or p?
m
Let l = -93289/55 + 1696. Is l equal to 0?
False
Suppose 53 = t - 5*t + 3*q, 4*t = -3*q - 59. Let w be 4/7*t/(-20). Which is bigger: w or 8?
8
Let t(d) = d**2 - 9*d + 4. Let n be (2/(-4))/(2/(-24)). Let r be t(n). Let c be ((-2)/6)/((-7)/r). Is c at most as big as -2?
False
Suppose -6*j + 5*j - 139 = 0. Let p = j - -971/7. Let h(x) = x**2 + 13*x + 31. Let y be h(-10). Is y < p?
False
Let p be (94/(-141))/(16/(-26)*3). Which is bigger: p or 0?
p
Let k be 3/1 - (3 - 1). Suppose -31 = -2*i - k. Which is greater: 17 or i?
17
Suppose -6*n + 7*n = 3. Suppose -5*s - 23 = -n*s - 5*x, 2*x = s + 9. Let v be (-2 + s)/(3/(-3)). Which is greater: v or 6/23?
v
Suppose -2*t - 2*t = 2*g - 40, 3*t - 12 = 3*g. Let w(a) = a**2 - 8*a. Let s be w(t). Suppose s = 5*p - 10*p + 15. Which is bigger: 6 or p?
6
Let m = 3/3388 + -164327/10164. Which is greater: m or -15?
-15
Let j(k) = 6*k - 6. Let t be j(13). Let a be (1/2)/((-4)/t). Are -4 and a unequal?
True
Let n(x) = -x**3 + 16*x**2 + 6*x - 16. Let r be n(16). Let k be ((-36)/10)/((-8)/r). Do k and 37 have the same value?
False
Let u(x) = 155*x - 1249. Let c be u(8). Suppose n = -o - 11, -5*n - 75 = -10*o + 5*o. Which is bigger: n or c?
c
Suppose -13*z + 1352 = -5*z. Which is bigger: 681/4 or z?
681/4
Let h be (65/104)/(105/(-52) - -2). Are 0.1 and h unequal?
True
Let n = -23.1 - -2.9. Let h = -22 - n. Let x = 1.81 + h. Is -0.1 less than x?
True
Suppose -3*w + 7 = -11. Suppose -5*z = -41 + 16. Which is greater: z or w?
w
Let a be (-1)/1 - (-2 - 0). Suppose k - a = 4. Suppose k*m - 37 = 8. Is m equal to 9?
True
Suppose k = 5 + 2. Suppose 2*c = -3*t - 1, 0*t = 5*t - c - k. Let z = 7417/22 - 3708/11. Which is greater: t or z?
t
Let y = 56 - 55. Let q be (1/3)/(69/(-46)). Which is greater: y or q?
y
Let l be ((-87)/406)/(123/4). Is l less than 0?
True
Let i = 19 + -9. Let m = 6271 - 43895/7. Is i less than m?
False
Let f(m) = m**2 - m. Let n be f(1). Let v(p) = -3*p - 1. Let l be v(-1). Is l less than n?
False
Let n be (3*(-12)/(-18))/1. Let a(l) = l**3 - 3*l**2 + 3*l - 1. Let z be a(n). Is z > 1?
False
Let k = -0.01 + 0.41. Let m = -403 + 404.5. Let l = m - k. Is l > 1?
True
Let p be 4/(-6)*(-9774)/36. Let b = 879/5 - p. Does -5 = b?
False
Let t = -51 + 54. Suppose t = 3*a + 4*w - 6, 0 = -a + 2*w - 7. Which is smaller: a or -8/9?
a
Let z be (46/14 + -3)*(-63)/81. Which is greater: z or 1/3?
1/3
Let a(t) = -t**3 + 3*t**2 + 2*t - 5. Let u be a(3). Let z be 56/(-16) + (u - -2). Is 1/2 at most as big as z?
False
Suppose 1 = -4*a - 15. Let x be a/(-2) - (-5)/(-3). Are -3 and x nonequal?
True
Let k = -15 - -17. Let w = 34 - 34.1. Is w less than or equal to k?
True
Let h = 11.2 + -11. Let u = 0.27 - h. Let r = -0.3 + 0.4. Is u at most as big as r?
True
Suppose -5*w + 4*n + 366 = 0, -2*w + 3*n + 109 = -43. Let r be ((-12)/35)/(100/w). Is -1 less than r?
True
Let s = 309/6682 + -2/257. Let h = 77/650 - s. Is h bigger than 1?
False
Let s = 0.4 + -0.3. Let w = -60.8 + -3.2. Let k = w + 45. Which is bigger: k or s?
s
Let y = -2 + 5. Suppose 3*w - y*l - 7 - 14 = 0, 2*l = -w + 10. Let i = 1699/7 + -243. Is w < i?
False
Let m be 1 + (1 + -3 - -5). Suppose 5*u = 4*w + 4*u, -4*u = -3*w. Suppose c = -w + 3. Which is smaller: c or m?
c
Suppose 3*l + 44 + 8 = 4*v, 5*l = 5*v - 80. Let n = l - -15. Suppose n*o = -0*o + 6, 0 = 4*m - 2*o + 24. Are m and -7 non-equal?
True
Suppose 5*p = -4*r + 101, -2*p + 4*r = -16 - 2. Suppose -2*z = -5*j + p, 4*j - 17 = -z + 7. Suppose -t + 15 = z*t. Which is smaller: 11/5 or t?
11/5
Let v = -221 + 220. Which is greater: v or -1/26?
-1/26
Let r = -4 - -15. Let x(z) = -z - 14. Let i be x(r). Does i = -26?
False
Let i be ((-6)/20)/(4/15). Let x be (-4272)/72 - (0 + 4/6). Let s = x + 59. Does i = s?
False
Let d be ((-8)/57)/(-4)*3. Let j(l) = 10*l**2 + 232*l + 46. Let x be j(-23). Is x less than d?
True
Let h = -18 - -12. Let b be (h/(-15))/(5/50). Suppose b*v - i - 4 = v, -5*v - 2*i = -14. Is 2 smaller than v?
False
Suppose 3*a = -3*k - 39, 0 = 5*k + 2*a + 34 + 22. Let d(l) = -5*l + 109. Let r be d(23). Which is smaller: k or r?
k
Let l = 42 - 47. Suppose 5*n = 4*g + 22, 7*g - 6 = 4*g. Suppose -a + 10 = -h, -3*a - 36 = 4*h - n*a. Is h < l?
True
Let w be 3/(-1)*(-5)/(-3). Let q(c) = -c**3 - 6*c**2 + 2*c - 6. Let n be q(w). Let o = -57 - n. Which is smaller: -17 or o?
-17
Let a(x) = -x - 3. Let f be a(-6). Suppose g - 2*m - 8 = 0, 3*m + 12 = f*g + 2*g. Is g smaller than -2/21?
False
Suppose 2*h = 5*y + 30, 7*h - 3*h - 5*y = 40. Suppose -4*o + 4*q - 5*q + 103 = 0, -o + 3*q = -16. Let x be 95/o - (-2)/10. Which is bigger: x or h?
h
Let u be (-148)/14 - (-15)/(-35). Let t be -1 + (37 - (3 + 0)). Suppose 37*j + 48 = t*j. Which is greater: j or u?
u
Let t = 46 - -34. Let z = -82 + t. Which is bigger: z or 19?
19
Let d(v) = -v**3 + 5*v**2 - 6*v + 2. Let h = 6 + -15. Let u = h - -12. Let m be d(u). Which is greater: 4 or m?
4
Let q be (2/4)/(3/(-30)). Let v(t) be the third derivative of -t**5/60 + t**4/12 + 2*t**3 + t**2. Let u be v(5). Which is greater: q or u?
u
Let r = 36/13 - 226/91. Which is bigger: 120 or r?
120
Let n be 52/14 + 60/210. Which is bigger: 2 or n?
n
Let l = -1556 - -1547. Is -58/7 smaller than l?
False
Let v be 8*-1*2/(-4). Suppose 2*f + v = 2. Let i = 3733/13 + -287. Is f less than i?
True
Let j be ((-16)/(-12))/(2/(-36)). Let q be j/(-48)*(-4)/(-6). Which is smaller: 10 or q?
q
Let t(d) = -d**3 - 15*d**2 - 40*d - 137. Let u be t(-13). Are 47 and u equal?
False
Let i = -2107 + 2110. Which is smaller: i or 71/16?
i
Let c be (142/6)/(-1 - -2). Let l = 21 - c. Which is greater: -3 or l?
l
Let u = 9.2 - 10. Let t = u - -1.7. Let q = 0.7 - t. Which is smaller: 1 or q?
q
Let n = -6 - -80. Which is smaller: 147/2 or n?
147/2
Let b be (3 - (4 + -2)) + 7276/(-7268). Which is smaller: b or 0?
b
Let t = -62 - -75. Suppose -t*l + 2*l = -88. Is 7 less than or equal to l?
True
Let i be ((-4)/(-6))/((-14)/(-357)) - -1. Let o be ((-12)/i)/((-24)/9). Which is greater: -1 or o?
o
Let k be (-9)/(-27) - (-58)/6. Let q be 4/(-10) + 14/k. Is q < 2/45?
False
Let o be 8/68 - 4/34. Let r = 14110 - 4190741/297. Let w = 4/27 + r. Which is greater: o or w?
o
Let l(o) = o**2 + 5*o + 6. Let q be l(-4). Let g be 1 + -4 + q - 0. Let y be (4/(-4) - -1)*g. Which is bigger: y or -8?
y
Let i = 0.411 + 0.189. Is 39 not equal to i?
True
Let r = -9 - -11. Suppose -q - 54 = -5*p + p, -2*p = -r*q - 30. Let n(z) = z**2 - 14*z + 16. Let b be n(p). Which is smaller: -0.2 or b?
-0.2
Let t = 911/45 + -99/5. Is t at most as big as 23?
True
Let a = 5 - -1. Let b(j) = 22*j**3 - j**2 - 71*j + 71. Let r be b(1). Is r <= a?
False
Suppose 2*g = -0*t - 4*t + 14, 0 = -5*t - 2*g + 17. Let j be t/((18/4)/3). Suppose 4*c + c - j = -4*d, 2*d = c + 8. Is c greater than 0?
False
Let k(d) = -d + 11. Let a(n) = -n**2 - 7*n - 1. Let o be a(-5). Let p be k(o). Let r be 117/(-6)*p/3. Is -12 >= r?
True
Let y(r) = r**3 - 10*r**2 + 2*r - 15. Let k be y(10). Let b be (-1)/(1/1)*-7*1. Is k smaller than b?
True
Let j = -1.47 - -9.47. Are j and 0.1 non-equal?
True
Let h be (4/(-6))/(34/(-153)). Let f = h + -8/3. Is 1 bigger than f?
True
Let i be (63/(-4))/(17 + -11). Let j = 2 + -1.8. Is j equal to i?
False
Let r(z) = 2*z**3 + 4*z**2 - 2*z - 4. Let x be r(-3). Let f = 39 + x. Let p = -22 + f. Which is smaller: p or 2/5?
2/5
Let y be -3 - (1 + 1 + -6). Let x = -7.4 + 1.4. Is x at most as big as y?
True
Let y be -5*(2 + -4 - -1). Let j(r) = -r + 8. Let v be j(7). Suppose -5 = o + 4*i + 3, -v = -o - i. Which is bigger: y or o?
y
Let p = 334.9 + -335. Is -0.202 greater than or equal 