1?
False
Let v(r) = -5*r + 3. Let m be v(-3). Suppose 6*j + 0*j - m = 0. Let h(u) = -u**3 + 4*u**2 - 4*u - 1. Let d be h(j). Does d = -5/2?
False
Suppose -5*q - 5 = 5*h, 4*q - 2*h = -0*q + 8. Let p be (-1)/(q - (-4 - -4)). Let d be p - (2 - -25) - -2. Is -26 bigger than d?
False
Let k = -3.48 + -2.43. Let u = 5.8 + k. Which is bigger: 0.5 or u?
0.5
Suppose 5*m - 31 = -2*c, -7*m = -4*m - 5*c. Suppose -m*g + 511 = -629. Which is smaller: 229 or g?
g
Let g(q) = 23*q**2 + q - 3. Let a be g(-2). Suppose o - a + 123 = 0. Which is smaller: -35 or o?
o
Let n = -343 + 762. Suppose -207 = -3*x + 2*x + z, -2*x + z + n = 0. Which is bigger: 211 or x?
x
Let x = 25.6 + -87.6. Let u = -52 - x. Is -0.01 at least u?
False
Let w be 10/((-20)/6) - 1306/5*5. Which is smaller: -1305 or w?
w
Let x(h) = 2*h - 3. Let t be x(0). Suppose 4*v = -4*i + 7*i + 11, -2*i = v - 11. Let k be (-1)/(((-1014)/(-1144))/(i/2)). Which is greater: t or k?
k
Let y = 0.42 - -59.58. Let k = -11.5 - -12.5. Which is smaller: y or k?
k
Let t(x) = -x**2 - 32*x + 104. Let z be t(-35). Is z less than 2/81?
True
Let i = 169 - 166. Let v be i*(-2)/30 + 74/70. Let z(t) = -t**2 + 4*t + 8. Let h be z(6). Is h smaller than v?
True
Let l = 4018.8814 + -4019. Which is smaller: l or -0.02?
l
Let w(l) be the first derivative of l**4/4 + 35*l**3/3 + 34*l**2 + 65*l - 48. Let z be w(-33). Is -1/17 < z?
False
Let a = 4537 - 4537. Is -3/352 at least a?
False
Let f be 6678/(-1060)*(-12 - -2). Is f < 21?
False
Let r = 0.204 - 64.204. Let w = 63.57 + r. Are w and 2 nonequal?
True
Let n = -729 - -914. Let x = -8 + 30. Suppose n*f = 186*f + x. Which is smaller: f or 2?
f
Let b = -32943/1702 - -651/37. Which is smaller: -2 or b?
-2
Let i be 12/(-20) - (-964)/1615. Let j be 63/714*2708/(-3534). Let x = j - i. Does x = -1?
False
Let n(k) = -k**3 - 2*k**2 - 13. Let o be n(-7). Let m = o - 192. Is m greater than or equal to 40?
True
Let a = -7157 + 7158. Is 2/1013 at most as big as a?
True
Let j = -6111 - -25589. Is j less than 19479?
True
Let y = -0.706 + 0.706. Which is greater: y or 1393?
1393
Let m be (16/(-40))/(0 + (-2)/(-83)). Let x = m - -697/42. Which is bigger: 0 or x?
0
Let i be (-713)/(-124) - (1 + (-10)/8). Let z be (-4)/14 - -316*i/5460. Is z at least as big as 0?
True
Let s(n) = n**2 - 7*n - 1. Let w be s(7). Let o be w + 2 + (-183)/(-3)*-1. Is -119/2 > o?
True
Let d = -0.07 - 0.03. Suppose -7*l + 2*l + 41 = -4*n, -16 = 4*n. Suppose 0 = l*f + 13 + 12. Which is greater: f or d?
d
Let d be (-652)/84 + (-2)/(-6). Suppose 2 = -o, 0 = 2*b + 1267*o - 1265*o + 18. Is b less than d?
False
Suppose 59 + 174 = -d + 5*i, -2*i + 968 = -4*d. Are d and 4 unequal?
True
Let o = 10325687/25856304 - -1/82608. Is o less than 1?
True
Suppose -4932*x + 4928*x + 84 = 0. Is x < -37?
False
Let w be (3/10*(-10)/(-15))/((-1080)/640). Which is greater: w or -1?
w
Let i = 5542 + -5542. Let o = -0.009 - 30.991. Which is greater: o or i?
i
Let r = 552 + 390. Let m = r + -876. Which is greater: 64 or m?
m
Let i = 2 + -7.75. Let k = -6 - i. Let r(o) = -5*o**2 + 2*o + 39. Let n be r(3). Is n less than k?
False
Let c(t) = 47*t**3 + 3*t**2 + 2*t - 1. Let j be c(-2). Let w be 11 - 3 - 1085/155. Do j and w have the same value?
False
Let f = 168 + -161. Suppose -o - 55 = 5*k, -4*o + 3 = 2*k + f. Is -64/5 at least k?
False
Suppose 1228*j = 1227*j + 15860. Let t be j/325 + 6/5. Which is greater: t or 45?
t
Let k = -12517 - -12488. Which is bigger: k or 126?
126
Let c(o) = -o**3 + 11*o**2 - 9*o + 8. Suppose -7*a + 5*a + 20 = 0. Let n be c(a). Let v be (n/45)/((-78)/10). Which is smaller: -2/7 or v?
-2/7
Let r = 3359 + -3358.9. Which is smaller: -1680 or r?
-1680
Let c(i) be the second derivative of 4*i**3/3 - 38*i**2 + 37*i. Let x be c(6). Which is greater: x or -24?
-24
Suppose 3*u = 6*f - 252, f - 61*u = -65*u + 24. Which is smaller: -65 or f?
-65
Suppose -3*t = 2*l - 7, 3*l - 2 = -4*t + 4*l. Let s be 84/(t + -3)*56/(-196). Is 14 greater than or equal to s?
True
Suppose -24*c + 379 - 403 = 0. Which is smaller: c or 1/839?
c
Let x(h) = h**2 + 34*h + 293. Let p be x(-12). Is p at most 187?
True
Let g be (17353/2660)/(-37) + 2/8. Is g less than or equal to 1?
True
Let s = 26449 - 26452. Is s equal to 2012?
False
Let w be ((-808479)/89829 - -14) + -5. Is w less than 1?
True
Let q be 7/21*(-24)/10360. Let z(b) = 22*b + 265. Let p be z(-12). Is p at least as big as q?
True
Let n(p) = -2*p + 27. Suppose -b - 1 = -14. Let d be n(b). Let w be (26/39)/(59*(-1)/3). Is w <= d?
True
Let u be (-7 - -3)*(3/(-2) - 2). Let n be (12/u)/(12/(-84)). Let x be -52 + (0/(3 + n) - 1). Which is greater: x or -54?
x
Let o = 2.6926 + 64.1674. Which is bigger: o or -1?
o
Suppose 0 = 2*m + 2*q - 23 + 9, 3*m + 2*q = 24. Suppose 4*s + m = 14. Let w = 5/19 + -144/475. Which is greater: w or s?
s
Let t be (-39)/(-2) - (-10)/15. Let s(g) = 5*g - 25. Let y be s(9). Is t <= y?
False
Suppose -5*g - 4 = 1, -5*t + 4*g + 179 = 0. Suppose 77*m - 6594 = t*m. Which is greater: 311/2 or m?
m
Let z = 153841/540 - 11144/27. Let x = 127 + z. Let k = x + 3/5. Which is greater: k or -2/9?
-2/9
Let h(k) = 9*k**2 - 171*k + 7. Let b(o) = -9*o**2 + 171*o - 6. Let a(l) = -6*b(l) - 5*h(l). Let d be a(19). Is d smaller than 20/37?
False
Let s = -3/1103 + -60659/2206. Let y = -1.0297 + 0.8297. Which is smaller: y or s?
s
Let v(k) = -k**2 + 3*k + 4. Let q be v(5). Let y be (-60)/27*1874/q. Let w = y - 694. Is -3/2 less than w?
True
Let t be (-17*3)/(3/(-2)). Let a = -0.01935 + 244.11935. Let c = a - 244. Is t greater than or equal to c?
True
Suppose 312*g = 301*g + 1 - 1. Let b be -1 - (21/19 + -1). Do b and g have the same value?
False
Let m = 7.03 - 0.03. Let v = -9.48 + 8.799. Let r = v + 0.381. Is m greater than or equal to r?
True
Let g(v) = v**3 - 3*v**2 + 3*v - 3. Let i be g(2). Let h be (i*2)/((-24)/36). Suppose -3*p - 3 = -4*x, 2*x + 3*p + 0 + h = 0. Which is greater: -6/13 or x?
x
Let t be (-7376)/170*(-480 + 25). Let b = t - 19748. Which is bigger: b or -5?
-5
Let f = -249.032 - -249. Let g = -1490.1 + 1490. Do g and f have the same value?
False
Let l be (-4)/(-16) - ((-2)/(-7) - (-2)/(-7)). Which is smaller: l or -3/5305?
-3/5305
Let n(h) = -h**2 - 16*h - 14. Let p be n(-15). Let v be p/(-6)*4/(-13). Are 1 and v equal?
False
Let n = 1779 + -1822.056. Let y = -43 - n. Let w = 3 + -3.1. Is y at least as big as w?
True
Let q = -4076 + 5161. Which is greater: q or 1089?
1089
Suppose 13092 - 13119 = 27*h. Which is bigger: h or -1/10633?
-1/10633
Let k(n) = -n**3 + 5*n**2 + 137*n - 675. Let a be k(5). Are a and 170 equal?
False
Let o = -80 - -71.4. Let z = o + 3.6. Let q be (-5)/12 + 13/78. Which is bigger: q or z?
q
Let a(x) = 22*x + 22 + x**2 + 2 - 3 - 1. Let v be a(-22). Suppose m + v = -4*l - 4*m, 12 = 3*l - 3*m. Which is bigger: l or -1/90?
l
Let o be 30/165 - ((-130)/57)/((-176)/(-120)). Which is smaller: -2/9 or o?
-2/9
Suppose 1741*q = 1750*q + 63. Is 14 less than or equal to q?
False
Let s(h) be the second derivative of -h**3/6 - 3*h**2 + 5*h. Let u be 0*11/(-110) + -6. Let o be s(u). Which is smaller: 2/25 or o?
o
Let y = 87 - 140. Let i = 17 - y. Which is greater: i or -2/7?
i
Let l be (-2912)/(-4820) + (-6)/10. Let d(v) = -3*v**3 - 53*v**2 + 22*v + 72. Let b be d(-18). Which is smaller: b or l?
b
Let x = -14.4 - -1.4. Let m = 250/3 + -335/6. Let y = m + -28. Is x not equal to y?
True
Suppose 0 = 3*b - c - 28, -11*c + 6*c - 28 = -b. Is b smaller than 10?
True
Suppose -3 - 6 = -z. Let v = 25 - z. Suppose -5*y + 22 = -58. Is y not equal to v?
False
Suppose -4*h = -24, -6*g + 4*h = -173 + 1997. Is g <= -243?
True
Suppose 37*r + 51459 = -324202. Is r at least as big as -10155?
True
Let z = -249 + 248.972. Let r = 0.16 + -0.232. Let m = z + r. Is m greater than or equal to -22?
True
Let u(s) = -s - 2. Let t be u(-6). Suppose 0*o - 2*p - 616 = -2*o, -3*p = -t*o + 1233. Let x be 0 - o/75 - -4. Which is smaller: x or -1?
-1
Let s = 1.3 - 1.5. Let m = 106.4 - 105.4. Does m = s?
False
Let k = 1.02 - 1. Let r = 6.3458 + 9.6542. Are r and k unequal?
True
Let r(s) = -s**3 - 28*s**2 - 38*s + 62. Let t be r(-27). Let k be 10/2 + t - 0. Let b be k/(-48) + (3 - (-15)/(-4)). Is -7 at least b?
True
Let t(k) = -k + 7. Let n be t(5). Suppose -5*u - 3*f + 14 = 0, -3*u + 2*f = -n*f - 20. Let w be ((