r p?
-1
Let q be 4/14 + 12/105. Let d = -127319/93 + 1369. Which is greater: q or d?
q
Let p = -6337/3 + 2083. Is -30 at least p?
False
Let v be -11 + (9 - -2) - -2. Suppose -2*u = 14 + 6. Let t be (2/u)/(3/(-12)). Does v = t?
False
Let a(t) = t + 6. Let q be a(-14). Let c be (1 - 21)*8/q. Let m be c/(-90) + (-22)/(-18). Which is smaller: m or 3?
m
Let k(u) = -10 - u + 4 - 3. Let s be k(-7). Let w be 12/11*(32 + -33). Which is bigger: s or w?
w
Let o be 3/(5/10*-1*3). Let w be (-2)/((1 - o) + -5). Which is smaller: -1/4 or w?
-1/4
Let w be (2/3)/((-4)/(-12)). Suppose -4 = -k - 2*h, 1 = k - w*h + 5*h. Suppose -3*d + 13 = k. Which is smaller: d or 2?
d
Let y(t) = -4*t - 76. Let m be y(-15). Let a(w) = -w - 27. Let f be a(0). Let j = m - f. Does j = 10?
False
Let c be 2156/(-84) + 2/(-6). Let l be (-12)/320*(c/12 - -3). Is l smaller than -1?
False
Suppose 5*z - 4*i - 2334 = 0, -2*z - 241 = -4*i - 1165. Is 0.1 less than or equal to z?
True
Let g = 1.31 + -1.5. Let a = -34.09 - -34. Let i = a - g. Which is smaller: i or 3?
i
Let r = -11 - -39. Let n be (0 - (4 + (-4 - -4))) + 34. Are r and n nonequal?
True
Suppose -38*l + 230 = -15*l. Are l and 128/13 non-equal?
True
Let m = -0.32 + -6.68. Let k = m + 7.06. Let a = k + -0.36. Is a at least as big as -2?
True
Let r = 199269/89 + -2239. Is 2/3 at most r?
False
Suppose -5*g = -g - 72. Suppose 2*k = 6 + g. Suppose v + v - 14 = 5*t, -t + 5*v = k. Is t equal to -1?
False
Let v = -2/61 - -67/183. Let n = -29.87 - -30. Let g = n + -0.03. Which is greater: g or v?
v
Let b(o) = -o**3 - 6*o**2 + 8*o + 6. Let t be (-1 + -6)/(0 + 1). Let k be b(t). Let m be -5 - k*(4 + 0). Which is smaller: m or -1/46?
m
Let g = -2.6 - -6.6. Are -30 and g non-equal?
True
Let b(z) = -5*z**2 + 3*z + 5. Let t be b(-4). Let d be (-1925)/22 + (-17)/34. Which is smaller: d or t?
d
Let f be 2 + 1 + (-1 - 0). Suppose -3*m = -f*m + 49. Let g be (-7)/m - 26/(-112). Is g at least as big as 1?
False
Let s(i) = 6*i. Let d(x) = 15*x. Let w(n) = -5*d(n) + 12*s(n). Let l be w(-2). Suppose t + 7 = b + b, 4*b + t - 23 = 0. Does l = b?
False
Suppose 7*r = 4*r - 3. Let h = 14 - 10. Let j be h + (-115)/105 + -3. Which is bigger: j or r?
j
Let q = 205/62 + 6/31. Suppose 0*k + 3*k - 3 = 2*g, 4*g - k + 11 = 0. Let f(s) = s**3 + 5*s**2 + 5*s + 1. Let z be f(g). Which is greater: q or z?
z
Suppose 2*c + 25 = o, 0 = -c + 2*c. Suppose h + 1 = -0*d - 2*d, 0 = 5*h + o. Suppose -3*q + 0 = -v - d, 6 = -3*v. Are -4/9 and q nonequal?
True
Let m = -183 + 135. Which is greater: -46 or m?
-46
Let y be 252/(-780) - 2/(-6). Let q be (-3)/(-5) - 1061/780. Let k = y + q. Which is smaller: k or 0?
k
Let m = -1114 + 1112. Is m at least -89?
True
Let c = 4 + 0. Suppose -d + 2*v + 6 = 0, -c*d + 24 = -6*d - 5*v. Are -17/6 and d equal?
False
Let j(h) = h**3 + 26*h**2 + 24*h + 8. Let x be j(-25). Let n = 197/6 - x. Suppose 0 = 3*z - i - 4, 4*z = -z - 5*i. Do n and z have different values?
True
Suppose -2*j = j - 5*f + 70, -3*j - 86 = -f. Let o be 3/(-220)*4790/j. Let r = o + 1/44. Which is bigger: 1 or r?
r
Let w = -143 - 360. Do w and -502 have the same value?
False
Let b = 63 + -60. Suppose -b*k + 3*v = -k - 1, -3*v - 5 = -4*k. Is k < 2?
False
Let b be ((-15)/(-6) - 3)/(-1)*2. Is b equal to 1/142?
False
Suppose 2*g = -2*g - 12, -v = 2*g - 38. Suppose 0*i - v = -4*i. Are 14 and i non-equal?
True
Let p(z) = z**2 - 17*z + 14. Let c be 72/6 + (-8)/(-2). Let y be p(c). Which is greater: y or -6/11?
-6/11
Let l = 12 + -13. Let k be -18*1/(-2)*l. Let w(c) = -c**3 - 8*c**2 + 10*c + 7. Let j be w(k). Is -6/11 < j?
False
Suppose -33*b = -26*b + 14. Which is smaller: 21 or b?
b
Suppose 2 = -3*z - 4*g + 7, 2*z = 5*g + 34. Let s(c) = c**2 - 8*c + 8. Let v be s(z). Let y be 5*(-25)/(-40) - 3. Is v smaller than y?
False
Let a be 4 + (0 + -4 - 14). Let u(v) = 3*v - 32. Let w be u(6). Is w at most as big as a?
True
Let o(i) = i**2 + 15. Let n be o(0). Suppose 5*a - 2*a + 4*r = -169, 0 = 3*r + 3. Let l be (-18)/(-22)*1 + (-10)/a. Which is bigger: n or l?
n
Suppose -78*b - 2013 = -89*b. Is b at most 184?
True
Let p = -1.06 - -0.26. Let g = p + 0.9. Do -2/23 and g have the same value?
False
Let a(t) = -t**3 - 9*t**2 + 32*t + 82. Let f be a(-11). Which is bigger: f or -32?
f
Let c(g) = 36*g**2 - 10*g + 4. Let w be c(4). Is 541 smaller than w?
False
Suppose 0 = 3*w - 6 - 3. Let o be (-1)/(w/(-18) - -3). Suppose 2*m + 0*m = -2. Which is bigger: m or o?
o
Let c = 1.2 - 1.1. Let b = 2.7 + -1.7. Let s = b + -2. Which is greater: c or s?
c
Let f = 17 - 9. Suppose 171*o - 529 + 16 = 0. Is f >= o?
True
Suppose 2*r + 3*i = 2259, -3*r = -0*r - 5*i - 3341. Let d be r/660*(-1 - 16/(-6)). Which is smaller: 3 or d?
d
Let t(l) = -l**3 - 14*l**2 - 16*l + 17. Let o be t(-13). Let k = o - 82. Let n = -22 - k. Is 4 less than n?
False
Let n(d) be the second derivative of 1/12*d**4 - 11/6*d**3 + 11/2*d**2 + 0 + 5*d. Let h be n(10). Are 2/7 and h equal?
False
Let t(n) = -n**2 + 11*n - 9. Let v be t(8). Let d = v + -43. Is -28 greater than d?
False
Let x be 355/10 - (-10)/(-4). Which is smaller: x or 31?
31
Let u(k) = -k - 3. Let f be u(-4). Let g = 23521/17 - 1383. Which is smaller: g or f?
g
Let l be (-88)/396 - -2391*(-2)/351. Is l less than -15?
False
Let t = 20 - 20.78. Let i = -0.78 - t. Is 1/3 <= i?
False
Let z = -620 + 619. Which is bigger: z or 1/36?
1/36
Suppose 3 = -2*k + 5. Suppose -5*a - k = -u, 3*u - 5*a + 13 = u. Is -15 > u?
False
Let k = 2 + -2. Let s(b) = b**3 + 5*b**2 + 2*b - 11. Let a be s(-5). Let g be -3 - (a/35 + (-53)/20). Is g at most as big as k?
False
Let d = -6 - -1. Let g = d - -9. Let r = 4.1 - g. Is r > 3/2?
False
Let a = 15.04 + -0.04. Let l = a + -16.2. Let r = l - -0.2. Is r at least 0.9?
False
Let g = 317/306 + -5/34. Are g and 1 nonequal?
True
Let l = -2104 - -2104. Is 13/28 smaller than l?
False
Suppose -5*l - 2*p - 4 = 0, 4*p + 6 = 4*l + p. Suppose 4*f - 16 = l, -f + 18 = 3*a - 10. Is a greater than or equal to 9?
False
Let f be (1 - 1701/3)*(-2)/20. Which is greater: 58 or f?
58
Suppose 9*u - 7*u - 144 = 0. Let m be 3*(-6)/(u/(-20)). Which is smaller: 4 or m?
4
Let l be 1*(-3)/((-3)/2). Suppose -5*j + 0*d + 8 = -2*d, 10 = 4*j + l*d. Suppose -x + 36 = 5*n, 0 = -2*x + 81 - 69. Is j less than n?
True
Let a = 0 - 0.3. Let m = 2.1 + -0.1. Let j = m + -1. Is a greater than j?
False
Suppose 672 = -13*g + 20*g. Which is smaller: 94 or g?
94
Let p = 13 + -8. Let l = -6 + p. Which is smaller: -2/21 or l?
l
Suppose 4*g - 4*w + 21 = -27, 18 = -4*g - 2*w. Let s(m) = m + 5. Let f be s(g). Is -9/13 > f?
True
Suppose 12*f - 92 = 40. Suppose 4*b + 19 = -3*p - f, -5*p - 5*b = 45. Let w(c) = c**2 + 7*c + 4. Let k be w(-3). Do p and k have the same value?
False
Let b be 40/(-20) - 32/(-18). Let x be (3 + 33/(-12))*4. Does x = b?
False
Let o = 0.1 - 37.1. Let r = o + 37. Which is greater: r or -0.25?
r
Let j be 24/324*-6 + 3106/(-18). Is j at least -174?
True
Let f(j) = 4*j**3 + j**2 - 2*j. Let o be f(1). Suppose -h - 2*c = 2*h - 34, -4*h = -o*c - 51. Let b be h/(-5) + (-2 - -4). Which is bigger: 1 or b?
1
Let u = -132132 - -930641/7. Let y = -818 + u. Let v(k) = k**2 + 6*k. Let b be v(-6). Which is smaller: b or y?
y
Let s = -1139/3304 + 25/56. Which is greater: -1/2 or s?
s
Let a = 1.0009 - 0.0009. Suppose -3*w - 66 = 4*m - 274, 0 = -2*w + 2*m + 134. Suppose 0*f = -4*f + w. Does f = a?
False
Suppose 0 = -3*c - 2*c - 230. Let o = 93 + c. Do 46 and o have the same value?
False
Let o = -50 + 26. Let k = 9 + o. Do k and 3 have the same value?
False
Let i = -0.37 + 0.26. Let q = 46.55 + -46. Let d = q - -0.45. Which is greater: i or d?
d
Let f be 116/(-30) - (-2)/(-15). Let b(j) = -2*j - 5. Let h be b(f). Suppose 6*g - 5 = g + 4*o, h*g = -2*o + 3. Is -1/4 bigger than g?
False
Let h = 335 - 334.994. Are h and 0 non-equal?
True
Suppose 115 = -4*y + 319. Let z = y - 51. Which is smaller: z or -2/75?
-2/75
Let s = -2306711/780 - -11829/4. Which is smaller: s or -1?
-1
Let h = -311 - -374. Let p be (18/(-4))/((-3)/42). Are p and h non-equal?
False
Let w(s) = 3*s - 20. Let y be w(8). Suppose -116 = y*m + m - 3*a, 0 = 3*m - 2*a + 70. Let k = 31 + m. Which is greater: k or 7?
k
Let a = -0.8 + -1.55. Let i = a - -2.4. Which is smaller: i or -1/3?
-1/3
Suppose -l = -3*z + 9, -l + 6 = 3*l + 2*z. Suppose -3*p