or equal to 5?
True
Let b = -1/45 + -7/9. Let w = -3367.6 - -3368. Which is greater: b or w?
w
Let s be 2*6/(1104/(-300145292)). Let g = 3263251 + s. Let c = 802 - g. Are c and 1 equal?
False
Let c be 2/9 + 218/(-9). Let w be -7 + (-13)/(91/(-84)). Suppose 2*d + 2*x = -52, -1 = -w*x - 16. Which is smaller: c or d?
c
Let s = 4019.388 - 3982. Let i = 0.312 + s. Let w = i - 37. Which is greater: w or 3?
3
Let z(i) be the first derivative of -i**4/4 - 11*i**3/3 + 2*i**2 + 22*i + 42. Let w be z(-5). Is -148 at most as big as w?
True
Suppose -74*s = 173 - 99. Let a be ((-8)/10)/((-4)/50). Which is bigger: a or s?
a
Let x(y) = 60*y**2 + 42 - 75 - 2*y + 31. Suppose -2*r - 1 = 1. Let o be x(r). Is o > 60?
False
Suppose -9*s - 3819 = -6*s - x, -4*s - 5091 = -x. Let h be (-15)/195 - s/(-26). Let k = -0.2 - 1.8. Is h bigger than k?
False
Let c be (-14)/(-12) - (-25 - (-413062)/1716). Is -214 equal to c?
False
Let h(w) = 59*w + 238. Let c be h(-4). Is c equal to 114/17?
False
Let k(a) = -134 - 13 - 14*a - 10*a. Let f be k(-7). Which is greater: f or -8?
f
Let i = -11 + 11.15. Let v(w) = w**3 + 10*w**2 + w + 10. Let f(o) = o**3 + 6*o**2 + 4*o + 14. Let n be f(-6). Let c be v(n). Which is smaller: i or c?
c
Let q be 324/48 + (-1)/(-4). Suppose 3 = 5*w - q. Suppose -s = w*v + 14, -2*v + 5*v = 4*s + 12. Which is bigger: s or -5?
-5
Let o = -0.4885 + 0.2885. Which is greater: -2/1917 or o?
-2/1917
Let w(n) = 572*n - 2648. Let y be w(8). Which is smaller: y or 1927?
1927
Let k(u) = -2*u**2 - 176*u - 1415. Let t be k(-9). Do t and 3491 have the same value?
False
Suppose -16*y - 1084 = 84. Let j = -28 - 47. Which is smaller: y or j?
j
Let y be 3/(-5)*(4 + -9). Suppose -5*t + 3*t + w = -11, 19 = t + 4*w. Which is bigger: t or y?
t
Let p = -9 + 14. Suppose -p*f + 0*f = -4*d + 47, 0 = 2*d + 3*f - 7. Let b = 315134 + -315122. Which is smaller: b or d?
d
Let v be 11 - 14 - (0 - 3). Suppose 0*a - a = 5, 5*q = 3*a - 60. Let b be (40/30)/(q + 1). Which is greater: b or v?
v
Let i = -964 - -617. Let f = i + 259. Is -2 at most f?
False
Let i be ((-201)/(-2))/(21/(-35)*5/32). Which is smaller: -1069 or i?
i
Let p = -705 + 38777/55. Let o = 89 - 90. Which is greater: o or p?
p
Let o be 5 - (-1)/3*-6. Which is bigger: o or 146/41?
146/41
Let b(q) = -2*q**2 - 40*q - 56. Let d be b(-14). Is d at least as big as 84?
True
Let d(m) = -m**3 - 8*m**2 + 23*m + 23. Let x be d(-10). Let h be ((7 - 6)/x)/(-1). Are h and -13 nonequal?
True
Suppose 0 = -2*u - c + 370, -15*c = -4*u - 11*c + 752. Let x be ((-190)/u + -3 - -1) + 3. Does x = 0.4?
False
Let o be 5/8 - 42/(-112). Let m be (o - (-5)/(-6)) + 469/(-42). Which is smaller: m or -12?
-12
Let d = 40 - 29. Let i be 6 - 1 - ((-22 - -8) + d). Is 13 smaller than i?
False
Let z(p) = -377*p - 549. Let v be z(3). Is v at least as big as -2/13?
False
Let s(c) = -c**3 + 12*c**2 - 29*c + 27. Let n be s(9). Let a = -15 + 23. Let g = -6 + a. Is n >= g?
True
Let d be (31/2)/((-24)/864). Let j = -359 - d. Is 199 at least j?
True
Let f be (-1 - 167)/(1*4/(-8)). Let l = 333 - f. Is 5 < l?
False
Let g be (-613)/(-6) + (-9)/54. Suppose 3*b + g = i, 5*i + 143 = -4*b + 4*i. Let o = 35 + b. Which is bigger: o or 3/13?
3/13
Let i = 66 + -791/12. Let s(x) = 3*x + 40. Let q be s(24). Let k = -111 + q. Which is bigger: k or i?
k
Let v = -885 + 869. Let p(t) = 2*t**2 + 37*t + 70. Let x be p(v). Let m(a) = a**2 + 5*a - 4. Let y be m(-3). Do x and y have the same value?
True
Suppose 187 - 207 = 5*s. Suppose 5*b = -3*y + 31, -2*b - 2*y - 6 = -4*b. Let f be b*s/(-1550) + 0. Which is smaller: f or 1?
f
Suppose -3*v - 252 = 3*v. Let q = v + 44. Suppose 20 = 5*u, -q*y + u = 6*u - 16. Which is bigger: 7 or y?
7
Let t = 7473 - 7473. Which is greater: 165/28 or t?
165/28
Suppose a - 3*a + 26 = 5*r, r = 5*a - 11. Let z(i) = i**2 + 9*i + 15. Let l be z(-7). Suppose l = -6*f + 25. Is a less than or equal to f?
True
Suppose 1070 + 3496 = 6*j. Suppose 12*p - j + 29 = 0. Suppose 22 = -3*d + 4*h, 4*d + 0*h + p = -h. Do d and -17 have different values?
True
Let h = 107736.8 + -107737. Suppose -390 - 514 = -4*x + 5*o, 0 = -3*x - o + 697. Which is smaller: h or x?
h
Suppose -5*d - 155 = -0*d. Let s = -43 - d. Let p be 3*((-2)/s + 1/12). Which is bigger: p or 0?
p
Let a = 6.65 + -6. Let r = 1.5373 - 1.6373. Is a <= r?
False
Suppose 0 = -4*w + 93 + 51. Let o = 4964 - 4929. Is w at most as big as o?
False
Suppose -5*g + 17 = -6*g. Let f be ((6 + -10)/12)/(g/(-6)). Is -19 at most as big as f?
True
Suppose 0 = 3*n + 2*w - 158, 73 + 207 = 5*n - 5*w. Let i = n - 54. Let v be i/(-8)*(0 - -1). Is -2/5 < v?
True
Suppose 2*s + 1 + 5 = 4*x, -3 = x + s. Let h be x*(4 - 63/14). Which is bigger: h or 3/61?
3/61
Let n = -607 - -414. Let y = n + 123. Which is bigger: y or -71?
y
Let j = -37969 - -37970. Which is smaller: j or -2/52263?
-2/52263
Let y(d) = -d**2 - 8*d + 1. Let x be y(-7). Suppose 3*w + x = 3*f - 10, -2*w = 5*f + 5. Let p be (w + 6)/(11/2). Is p <= -1?
False
Let k be 210/(-135) + 23506/126. Which is smaller: k or 213?
k
Let r be (15/(-9) + 7)/((-4)/(-14)*-1). Does -20 = r?
False
Let n be (30 - 5) + (-3 - -3 - 1). Let v be ((-21)/(-238))/((-3)/n). Is 0 bigger than v?
True
Let j = 351 + -694. Let p = -107 - j. Is p not equal to 236?
False
Let t = -7002 - -7254. Suppose -5*c + 648 + 612 = 0. Does t = c?
True
Let p(b) = 23*b - 57. Let u = -30 + 75. Suppose 0 = 5*w + 3*f + 2*f - u, 5*f = 20. Let z be p(w). Is 58 <= z?
True
Let b = 34.215 - 5.015. Are 9 and b equal?
False
Suppose 12*h = 16*h - 2*v - 814, 2*h + 4*v - 392 = 0. Let l = -1004/5 + h. Which is smaller: l or 1?
1
Suppose 4*v = -5*x - 2 - 8, -3*x - 6 = -5*v. Suppose v = -35*t + 10*t. Which is bigger: 4/89 or t?
4/89
Suppose 0 = 7*q + 7. Which is bigger: -114/329 or q?
-114/329
Let o = 12 + -12. Let z be (-6)/72 + 2023/2244. Is z > o?
True
Let g = -526 + 19464/37. Suppose -3*r + 18*r + 15 = 0. Let m be r - 2 - ((-8)/(-2))/(-2). Is g bigger than m?
True
Let l be (5 - 1) + 20/(-3 + -2). Suppose l = -9*p + 53 + 46. Which is smaller: p or 13?
p
Let c = 75 + -43. Let l = 0.021 - -0.053. Let g = l - -0.026. Is c < g?
False
Let q be 218/215 - (1 + 0). Let n = -77267 + 231800/3. Which is bigger: n or q?
q
Let g = -54057928/2317 - -23331. Which is bigger: 1 or g?
1
Let t = 140 + -137. Suppose -t*g - 2*g = 4*u - 325, 0 = 4*u + 3*g - 331. Let m = -87 + u. Is -9 at least as big as m?
False
Suppose -320*z + 311*z = 279. Which is smaller: -9 or z?
z
Let v = 1169.2 + -1178.2. Is v equal to 6/29?
False
Let u = 12642 - 12840. Let b = -109 - 89. Is u at least as big as b?
True
Suppose 0 = -2*x + d - 14, -4*x + 4 - 8 = 2*d. Do -49/15 and x have the same value?
False
Suppose -9*d + 124 = -173. Is d less than or equal to 383/12?
False
Suppose j + 8 = -30*a + 32*a, 0 = -2*j + 2*a - 8. Let m = 89.01 + -0.01. Which is greater: m or j?
m
Suppose 28*y - 23*y = 110. Let k be (-15)/(-20) - 1 - 111/4. Let q = k + y. Which is bigger: q or -8?
q
Let h be (-848)/6 + (-1)/(-3). Suppose 0 = -76*l - 164*l - 37*l - 38780. Which is bigger: l or h?
l
Let j be (28/(-5))/((-6)/(-75)). Suppose 5*v - 5*b - 350 = 720, -2*v + 4*b + 438 = 0. Let u = v + -278. Which is bigger: j or u?
u
Let c = 55 + -54. Let p(u) = 5*u**2 + u - 2. Let w be p(c). Suppose w*h + n = 53, 2*n + 50 = 4*h + 4*n. Is 15 greater than or equal to h?
True
Let k be -5*(-20)/29275*1/(-2). Let f = 2934 - 2935. Does k = f?
False
Let t = 214 + -214.92. Let m = t - 114.08. Which is bigger: m or 1?
1
Let w(i) = -5*i - 17. Suppose 5*h = 3*d + 86, -2*h + 42 = -d - 7*h. Let y = 28 + d. Let f be w(y). Which is smaller: f or -2/15?
-2/15
Let o = -0.22085 - -0.34085. Let z be (-8)/(-6)*12/(-440). Which is smaller: o or z?
z
Let j be 3 + -132*(4 - (-21)/(-6)). Let l be 10/(1610/j) - (1 + 2). Which is smaller: l or -4?
-4
Suppose -16 = -213*a + 197*a. Which is bigger: a or 1/898?
a
Let x = -247 + 80. Let b = 164 + x. Are 31 and b equal?
False
Let d = -17605/1295586 + 6/431. Is d greater than or equal to -1?
True
Let f be 3 + -6 - (3 + -107). Suppose 18*g = -f + 263. Is g not equal to 11?
True
Let l be 6/33 - (1 + (-1029)/(-33)). Let i be ((-102)/18 + 4)/(6/108). Which is smaller: i or l?
l
Suppose -2*q = 4 + 4. Let o(s) = -s**2 + 3*s + 6. Let w be o(5). Let v be w/(1 - -1) - 8. Is v equal to q?
False
Let l be (-27