b or 35/456?
35/456
Let a = 95801/6 - 16004. Are 1 and a unequal?
True
Suppose -3*v + 13*y + 663 = 17*y, 5*y + 884 = 4*v. Which is greater: 3754/17 or v?
v
Let d = 171 - 197.3. Let l = d - -27. Let j = -0.8 + l. Is -71 less than j?
True
Let t = 15882 - 15099. Is t less than 785?
True
Suppose 2*a - 3 = 11, -3*y = -6*a - 2616. Which is greater: 882 or y?
y
Let u = -1035 + 4143/4. Does -1363 = u?
False
Let j(u) = 2*u**2 - u - 15. Let t be j(3). Suppose t*z + 3*w - 28 = 4*z, 0 = -5*z - w - 54. Is z equal to -32/3?
False
Let b be (-8 + 6)*(5 + (-210)/(-6)). Let n be (5/2)/(-5)*4. Let l be n/8 - 30/(-56). Which is smaller: b or l?
b
Let b = -151 + 151. Let n = b - -58. Which is greater: n or 3?
n
Let j = 526.48 + 526.6. Let u = j - 1030. Let w = u - 23. Is w equal to 1?
False
Let r(u) = -4*u**2 + 170*u - 269. Let d be r(40). Suppose 0*g - 266 = -2*g. Is g greater than or equal to d?
True
Let u = 3 + 14. Let a = 1.098 + -9.438. Let m = 4.34 + a. Is u smaller than m?
False
Let o be 10*138963/1815 - 8/(-22). Is 766 at most as big as o?
True
Suppose 0 = 10*w + 2*w - 396. Let g be 46/(-4) - (w/(-6))/11. Do -5 and g have different values?
True
Suppose -2*g + 10*x + 1 = 7*x, -4*g = -3*x + 1. Let i = -1/17 + -15/34. Is g greater than or equal to i?
False
Let m(q) = q**3 - 5*q**2 - 92*q + 287. Let p be m(11). Are p and 53/317 nonequal?
True
Let a be ((-68)/(-85))/((-2)/10) + -19. Which is bigger: 140 or a?
140
Let n = 8623 - 9981. Is n != -1362?
True
Let v be 211/7 - (-43 + 499)/(-57). Suppose -a - 112 = -3*o, -3*a - 78 = -2*o - 4*a. Is v at least o?
True
Let d = -115.9 + 99. Let x = d + 17. Which is greater: x or 1?
1
Let b = -25.157 + 6.157. Is 13 less than or equal to b?
False
Let p be ((-4)/6)/((-3)/18). Let v be 1/((4/(-15))/p). Let c(f) = 62*f**2 + 936*f + 74. Let a be c(-15). Do a and v have the same value?
False
Suppose 12*t - 10*t = -76. Let j be 502/(-3) + t/57. Let p = j - -95. Which is greater: -74 or p?
p
Let d = 0.47 - 24.47. Suppose -3*r = -b - 19, 81*b - 31 = 82*b - 5*r. Which is smaller: d or b?
d
Suppose 0 = q + u - 2491 + 65, 2*q = -3*u + 4848. Are q and 2429 nonequal?
True
Let m = 85.3 - 128. Let c = m - 7.3. Let f = -50 - c. Is f greater than or equal to -0.034?
True
Suppose 2*i = -42*v + 37*v - 394, 3*v - 4*i + 278 = 0. Suppose 0 = -4*q + 2*g - 326, -5*q = -0*q - 4*g + 406. Is q greater than or equal to v?
True
Let k = 139 - 15. Let z = 94 - k. Is z != -1/3?
True
Suppose 2*x - 4*m + 321 = -3187, 4*m = 8. Is -1750 equal to x?
True
Let o = -1380 - -6908/5. Do 11 and o have the same value?
False
Let n = 263.082 + -195.1167. Let b = n + -0.0653. Let s = 68 - b. Which is greater: 9 or s?
9
Let g be 0 - (-4 + 2 + 2). Let f(j) = -9*j**3 + 11*j**2 - 50*j + 12. Let x be f(7). Let b = 331888/115 + x. Does g = b?
False
Let b = -8061 - -128981/16. Is 0.011 at most as big as b?
True
Suppose 0 = -182*m + 187*m - 2885. Suppose 2427 - 119 = 4*w. Do m and w have the same value?
True
Let c be 1 + (-4)/(-2) + -6 + 12. Suppose 20 = z - c. Let f = z + -42. Do f and -23/2 have different values?
True
Let x = -421 + 420.72. Let n = -2.48 + -11.62. Let i = n + 14. Is x less than or equal to i?
True
Let g = -72859 + 72852. Let p = -377222/49401 - 2/4491. Which is smaller: p or g?
p
Let w(d) = -4*d - 24. Let m be -2*((-15)/(-6) - -1). Let i be w(m). Suppose -2*u - 5*a = -4*u - 2, -i*u = 5*a - 26. Do u and 27/8 have different values?
True
Suppose 0 = -18*b - 94 + 148. Suppose -b*g = -m + 222, 6*m = 8*m. Is g greater than or equal to -218/3?
False
Let r be -486*((-108)/(-18) - (-69)/27*-3). Is 811 > r?
True
Let u = -19226 - -19215. Let m = 0.04 - -3.96. Which is smaller: m or u?
u
Let l = 9574 + -10652. Which is bigger: l or -1086?
l
Let f = -24898295/2163 + 11511. Which is bigger: -1 or f?
f
Let d = 2403 + -2760. Is -357 at least as big as d?
True
Let s = -25757/2 + 127625947/9910. Is 1 >= s?
True
Let k(l) = 12*l + 71. Let n(p) = p**3 - 6*p**2 + 11*p - 18. Let t be n(4). Let u be k(t). Which is bigger: u or -1.63?
u
Let a be ((-10)/(-12)*(-6)/(-20))/((-7044)/36). Are a and 1 equal?
False
Suppose -8*f - 4*f + 6336 = 60*f. Let j = -70 + 157. Which is bigger: f or j?
f
Let y(f) = -f**3 - 21*f**2 + 24*f + 48. Let a be y(-22). Suppose k = -5*x + 17 + 38, -a*x + 35 = -k. Let b be 2 - (x - 3 - 4). Which is bigger: 0.59 or b?
0.59
Suppose 53*p + 18*p + 180191 = 12560. Which is bigger: p or -2/9?
-2/9
Let h = 294.64 + -202. Let a = h - 91. Let f = a - 0.64. Which is smaller: f or 1/2?
1/2
Suppose 61 = -v - 5*a, 221 = -4*v - a + 4*a. Let u be (76/304)/((-10)/2248). Which is smaller: u or v?
u
Let h = -54 - -55. Let a be (15/30)/((-14)/626) - 1/7. Are h and a nonequal?
True
Let w be (8/170)/(2/15). Let d be (-44 - ((-1254)/110 + -33))*2/((-4)/5). Is d bigger than w?
False
Let r be (27792/8860 - 3) + 60/(-300). Which is bigger: r or 0?
0
Let o(t) be the third derivative of t**4/3 - 25*t**3/6 + t**2. Let w be ((-6)/(-4 + 1 + -1))/(3/10). Let u be o(w). Is u greater than or equal to 13?
True
Let k(a) = -189*a + 11588. Let m be k(61). Suppose 3*f + 134 = 5*w - 164, 0 = w + 5*f - 82. Is m less than w?
True
Suppose -3*a + 5*n - 3 = 0, -22*a + 3*n = -20*a + 2. Is -1/203 less than a?
False
Suppose -9 = 3*h, 2*s + 13 = -5*h - 4. Is s bigger than -27/128?
False
Suppose -6*q = -10*q + 248. Let y = 64 - q. Suppose 0 = -c - 5*n - 11, 4 = -y*c + 6*c - 4*n. Which is greater: -1/18 or c?
-1/18
Suppose 29 = -3*s - 4*l, 10*s + 2*l + 18 = 12*s. Are s and 6698 unequal?
True
Let f be 124674/(-957330) + 4/30. Do -1 and f have different values?
True
Let w = -10 + 0. Let p = 14 + w. Suppose c + 1 = 3*o, 5*o + 76*c = 79*c - 13. Is o greater than or equal to p?
True
Let a = 5759540938/30711 - 187540. Which is smaller: a or 0?
a
Let k = -62 - 134. Let q = k + 196.2. Which is bigger: q or -0.55?
q
Suppose 0 = -5*s + 19*s - 308. Suppose s*k - 427 = 783. Are k and 54 unequal?
True
Let u = 163 + -158. Suppose 16 = -9*m + 4*m + 3*j, 10 = u*j. Is m less than -7/9?
True
Suppose 0 = 2*k + 5*t - 3220 + 3221, -3*k - 3*t - 15 = 0. Let b be (-4)/12 + 56/6. Which is bigger: b or k?
b
Let w = 235/301 - 95/43. Let t be -4 - (5 - 1) - 0. Let k be (-6 - -2 - t) + -4. Which is smaller: w or k?
w
Let y be (-214)/40 + (3 - (-70)/(-50)). Which is smaller: 0.8 or y?
y
Let n = -792 - -792. Suppose 0 = 4*r - 3*b + 758, n = -2*r - 4*b + 63 - 431. Which is smaller: r or -189?
-189
Let w(u) = 4*u**2 + 64*u + 46. Let a be w(-14). Which is smaller: a or -61?
a
Let s = -0.0803 + 0.1803. Let q = -0.3 + 0.4. Let r = q + -0.5. Is s at least as big as r?
True
Let t(y) = -y**3 + 10*y**2 + 87*y - 184. Let z be t(15). Let h = 0.09 - 0.09. Let g = h + 0.1. Does z = g?
False
Let l = 1855 + -1467. Which is bigger: 386 or l?
l
Suppose -174*b = -107*b + 134. Is -655 smaller than b?
True
Let t be (-10 - (-160)/15) + 2773/(-4146). Which is bigger: -1 or t?
t
Let g be 1/12*10156/6. Suppose -4436 = 5*x + 50*x + 3319. Let w = x + g. Is 1 <= w?
False
Suppose -58*l = -37*l - 204 - 111. Which is bigger: 1.59 or l?
l
Suppose 4*o - 12*o = -64. Let t be (-1 + (-5)/(-2))*(-6 + o). Suppose -4*y = 2*n + 24, -2*n = -t*y + y - 18. Is y greater than -7?
False
Let l = -22 - -3. Let g = l - -16. Let j be g + (180/175 - -2). Is 1 at most as big as j?
False
Let i(z) = 9*z**2 + 0*z - 5*z - 11 - 8*z**2 - 5*z. Let v be i(12). Suppose -3*n + 6 = 3*w, 0 = 4*w - 2*n - 7 - v. Which is bigger: 1 or w?
w
Let u = 4.05 - 8.35. Are -3.2 and u equal?
False
Let k = 0.682 + 0.407. Let q = -0.089 + k. Which is smaller: -10 or q?
-10
Suppose -10 = -m + 4. Suppose m*u - 56 = 15*u. Suppose 2*r - 4*x + 2*x = -110, -3*r + x - 165 = 0. Which is greater: r or u?
r
Let t(a) = 106*a + 51. Let b(q) = -70*q - 34. Let l(r) = -8*b(r) - 5*t(r). Let f be l(2). Which is smaller: f or 76?
76
Let c = 2347 + -2237. Is c less than 91?
False
Let v(u) = -u**2 + u - 20. Let t be v(0). Let m be (18/15)/((-9)/18 - (-11)/10). Let w be 4 - (148/t + m). Does 9 = w?
False
Let k be ((15/130)/((-7)/2))/(13851/114). Is 1 less than or equal to k?
False
Let o(y) = 35*y - 161. Let j be o(0). Which is bigger: -160 or j?
-160
Let c = 51951/826 + -437/7. Let i = c - -2/59. Let l = -1.26645 - -1.76645. Does l = i?
True
Let s = 1801 - 1811. Let c be -1*(-3 - (2 + -5)). Let g be (-1)/2*c - 13. Which is bigger: g o