- 16*t + 214. Let d be m(p). Is 1.5 greater than d?
True
Let o = 44755399/609 - 73490. Let l = -35135/10353 + o. Which is greater: -2 or l?
-2
Let s = -731 + 725. Let r be 5 + s - 144/(-9). Is 100/7 not equal to r?
True
Let p = -4.88 - -4.5. Let u = -2.58 - p. Let v = 2.2 + u. Is v at most -32?
False
Suppose 1842*x + 4165 - 481 = 0. Let q be 1108678/2902970 + (-6)/15. Let t = q - -1/2569. Which is smaller: x or t?
x
Let p = 178 + -47. Suppose 16*n - f - 395 = 13*n, -5*n = -3*f - 661. Are p and n equal?
True
Let k be 1830/(-50)*(-1*3 + -2). Suppose 2*f + i - k = -44, 4*f + 4*i - 284 = 0. Is 66 < f?
True
Let v = -15792 + 15789. Are v and 0.4793 nonequal?
True
Suppose -r = -3*w + 4, 2*w - 9*r - 12 = -6*r. Let p = -2102/51 + 124/3. Is w greater than or equal to p?
False
Let o = -43 + 48. Suppose -o*b + 2 = 2. Is -1/86 less than b?
True
Let p be 147/2*(0 + 2). Suppose 0 = -4*h + z + 25, -5*h + 5*z = -26 + 6. Suppose -4*c - p = -h*c. Is 49 at most as big as c?
True
Let j be (6 + 0)*1175/(-50). Let m = j + 6915/49. Is 1/3 less than m?
False
Let v be ((-4)/(-58))/(1 - -1). Suppose 69*y = 84*y - 45. Suppose a + 122*r - 121*r = 3, -y*a + r = 7. Is a not equal to v?
True
Let m = -22 + 29. Let k(j) = j**3 - 7*j**2 - 2*j + 15. Let s be k(m). Let t be -3 - (-276)/(-30)*s*-5. Which is bigger: t or 44?
44
Suppose -15 = -2*b + 15. Suppose b - 1 = -7*p. Which is greater: p or -0.1?
-0.1
Let z = 435.3 - 435. Let y = 1064 + -1171. Which is smaller: y or z?
y
Let x be (-1 - -2 - 1)/(-1). Suppose x = 3*n - z + 2, -n = 5*z + 28 - 6. Which is bigger: -4/3 or n?
-4/3
Suppose -6*z = -10 + 4. Let o = 50.8 - 47.2. Is z at least as big as o?
False
Suppose -12*s - 20958 = -8*s + j, s - 25*j + 5088 = 0. Does s = -5238?
True
Let v(f) = -4*f**2 - 17*f - 5. Let r be (-2)/(-20)*2 + (-104)/20. Let i be v(r). Which is bigger: -15 or i?
-15
Let l be (-816)/170*510/14. Which is greater: -175 or l?
l
Let f = -1064 + 583. Let s = f - -479. Do 2/9 and s have the same value?
False
Suppose -3*j = -3 - 0, -3*z = -3*j + 1890. Let y = z - -630. Is 2/73 at most as big as y?
True
Let t = -487 - -820. Let f = 1665.1 - 1665. Is f less than or equal to t?
True
Suppose -24*d - 91441 = 118965 - 67438. Which is smaller: -5955 or d?
d
Let q = 1775/78 + -324/13. Let l = -367.3 - -370.3. Is q > l?
False
Let c(x) = x**3 + 77*x**2 - 243*x - 206. Let s be c(-80). Is s at least 425/13?
True
Let o(k) = 2*k**3 + 2*k**2 + k + 4. Let u be o(-2). Let g = 477.968 - 475. Let i = -0.032 - g. Is u less than i?
True
Let c(u) = u**2 - 8*u - 48. Let v be c(12). Let k be (2 - -1) + -6 - 674/(-224). Is v < k?
True
Suppose -5*l + 25779 = -2*p, -21*l + 18*l - p = -15474. Which is bigger: 5159 or l?
5159
Let c be 4/((-16)/(-10))*(686/62 + -11). Are -1 and c nonequal?
True
Let v(c) = 34*c**3 - 4*c**2 + 2*c + 2. Let y be v(1). Suppose -y = l - 3*u, 3*l + 4*u + 134 - 32 = 0. Suppose 0 = 2*p - 2*x + 72, 3*p + x = -0*x - 96. Is p < l?
False
Suppose 47 = -2*t - 5*o, 5*t + 137 + 38 = -o. Let d be (-3)/54*2*t/(-1326). Is d at most 0?
True
Let b(z) = 250*z + 373. Let g be b(5). Is g smaller than 1619?
False
Let r(s) = 3*s**3 - 53*s**2 + 3*s - 111. Let f be r(17). Which is greater: -0.2 or f?
-0.2
Suppose -3*f = f - 4*t + 84, 4*t - 16 = 0. Let z(i) = -i**3 - 17*i**2 + 5*i + 21. Let c be z(f). Let d = -48 - c. Is 17 greater than or equal to d?
True
Let i = 3 + 467. Let b = i - 470.29. Which is bigger: b or -6?
b
Let q be 0 + 6/(-9) - (-28)/(-3). Let r be (16/40)/((-4)/q). Let a be -3 + (1 - r) - -4. Is 1/4 < a?
True
Let l = -4.222 - 6.478. Which is bigger: l or 0.1?
0.1
Let o = 43 - 42.55. Let x = -0.421 + o. Let q = 2.571 + x. Is q at most as big as 2/7?
False
Suppose -21*a - 186949 - 97559 = -105*a. Is a at most as big as 3388?
True
Let k(j) = 3*j**2 - 15*j + 30. Let n(a) = -7*a**2 + 31*a - 60. Let w(x) = 9*k(x) + 4*n(x). Let p be w(-13). Are p and 4 unequal?
False
Suppose 1835 = 5*k - 3*y, -2*k + 720 = -9*y + 5*y. Let m = -433 + k. Which is bigger: -191/3 or m?
m
Suppose -4*l - 5 = 15. Let o(s) = 6*s + 28. Let a be o(l). Let m be (3*(-1)/a)/((-6)/40). Are m and -6 non-equal?
True
Let v = 1055063/1528 - -21/1528. Does -0.2 = v?
False
Let k = -4.3 + 4.271. Let n = 0.029 + k. Let s = -0.2 + n. Do 22 and s have different values?
True
Let l be ((-255)/(-17) - 4)/107. Is l > -1?
True
Let o be (-2402)/(-6) - (-35)/(-105). Let s = o + -380. Which is smaller: 13 or s?
13
Suppose -24 = -6*p - 0. Let c be 6/(-63) + (230/(-84) - p). Are 0.2 and c unequal?
True
Suppose -18*x - 4*p = -15*x - 2403, -3229 = -4*x + 3*p. Which is bigger: 798 or x?
x
Suppose 0 = -10*r + 6*r + 5*r. Suppose r = -2*f - 29 + 305. Are f and 139 equal?
False
Let y(n) = -33*n**2 - 14*n - 11. Let w be y(-3). Let a = -291 - w. Which is smaller: a or 3?
a
Let u be -1*(0/(-1))/(-3). Suppose 85 = 5*h + 5*g, -3*h + 10*g = 11*g - 41. Suppose u = 5*i + 3*c - h, -3*i + c - 6*c = -4. Which is smaller: 3/8 or i?
3/8
Let m = -67 + 67. Suppose m*o - 5*o = -80. Let z be -1*((-4)/20 - o/20). Are 3/8 and z unequal?
True
Let x = -8032750/732207 - -1/86142. Is x at most as big as -12?
False
Let a = -7587 + 7588. Which is smaller: a or -58/211?
-58/211
Let q = 2682 - 2739. Which is bigger: 0.048 or q?
0.048
Suppose 20*m + 52 = -72 + 4. Which is smaller: -718 or m?
-718
Let o(u) = u**2 + 2*u + 1. Let i be o(-2). Let j(f) = 2*f**2 + 28*f + 7. Let g be j(-14). Let p be (-1 - g/(-15))*(-21)/196. Which is bigger: i or p?
i
Let m(j) be the second derivative of 3*j**3/2 - 9*j**2/2 + j. Let a be m(5). Suppose 0 = 3*l - a - 3. Is 13 at most l?
True
Suppose -10 = -3*s + 2*r, -r + 10 = 4*s - 7. Let g(i) = -2*i + 9*i**2 - i - 8*i**2 + 3 - 5*i. Let v be g(s). Is v >= -13?
True
Let m = -10074.3 + 10074. Are m and -259/9 non-equal?
True
Let c = 811.496 + -812. Let n = c + -15.496. Is -4/13 <= n?
False
Let n = -22769 - -22751.227. Which is smaller: n or 2/3?
n
Let o be (231/(-29) - (-3 - 5))*38/10. Are 1 and o equal?
False
Let j = -27.74 + 8.74. Is -74/3 >= j?
False
Let r = -137 - -654. Suppose b - r = -518. Suppose 4*l - 46 + 2 = 0. Which is bigger: l or b?
l
Let p be (-12)/315*(16/6 - (-110)/(-660)). Which is smaller: p or -2?
-2
Let t be 6/(-11) + 20376/88. Let s(l) = -21*l - 315. Let n be s(-26). Is t at least as big as n?
True
Suppose 2*y + 5*f = -1215, -4*y + f + 1219 = -6*y. Let o = -617 - y. Which is bigger: o or -42/5?
o
Let k = 6.96 + -7.0096. Which is smaller: -1/5 or k?
-1/5
Let u(t) = 53*t - 123. Let d be u(11). Suppose -67*n + d = -71*n. Is n less than -117?
False
Suppose -3*c - 3 + 9 = l, 0 = -3*l + 4*c + 83. Let j = 52 - 62. Let f = l + j. Does 11 = f?
True
Let l = -49549/13342 - 1/1906. Let y = -21 - -26. Let c be 2*(-1)/(2/y). Which is greater: l or c?
l
Let y = -6109 - -6108. Is 1/5664 at least y?
True
Let m be (-94)/(-16) - 350/(-2800). Let a = 0.3 + -0.2. Which is bigger: m or a?
m
Let f be (3382/(-4))/((-49)/14). Let b = f - 240. Is b at least 3?
False
Let w(y) = -2 - 2 - 5 + y**2 + 7*y. Let t be w(-8). Let z be 212/(-1440) + (-4)/(-18). Which is smaller: z or t?
t
Let r = -159 + 169. Let p be 703/(-152) + r/2. Is 2/7 < p?
True
Suppose 0 = -11*j + 1525 - 260. Suppose -i = j + 12. Which is greater: i or -1?
-1
Suppose 2*k + k = -c + 56, 0 = -5*c - k + 266. Let i(o) = -o**3 + 7*o**2 + 9*o - 13. Let v be i(7). Let f = c - v. Is 15/8 equal to f?
False
Let f = -1615 + 1549.1. Let d = f + 65. Let c = d - -0.8. Is -1.1 less than c?
True
Suppose 0 = -5*l - 5*c + 455, -5*l - 80 + 503 = -3*c. Let a = l - 86. Is 10/7 != a?
True
Let d(w) = -6*w + 32. Let l be d(4). Suppose 0 = l*t - 24*t. Let a = -64767/106 + 611. Is a not equal to t?
True
Let j be -1*125 + 20/32*8. Let a be j/(-264)*(-32)/10. Is 0 at most a?
False
Let n be (-282)/(-895538)*154/(-33). Let k = -2 + 2. Is n less than k?
True
Let b be (-495)/2448*4 + 1/(-4). Which is smaller: b or -5?
-5
Let z(c) = c**3 - 16*c**2 + 27*c + 14. Suppose -3*u - 4*l = -42, -2*l + 28 = 2*u - l. Let v be z(u). Suppose v*m = -2*m. Is m at most as big as -0.7?
False
Let n be 6/4*11/12. Let p = -33360 + 33359.9. Which is smaller: p or n?
p
Let s = 0.027 - 13.027. Let b = 62 + s. Let q = 49 - b. Which is bigger: q or 1?
1
Let s be 54/(-24)*(-1 + 11/3). Let l be (26/s)/(-13) + 79/(-57). Which is smaller: -2 or l?
-2
Let o = 84.814 + -84.83. Is o > 11?
Fal