r x?
p
Let s = 434 - 455. Which is bigger: s or -19?
-19
Let h(z) = -3*z + 37. Let w be h(16). Let v be 1 + -2 + -9 + -1. Do w and v have different values?
False
Suppose 41*a - 40*a - 147 = 3*o, -9*a = -3*o - 1419. Is a > 1/3?
True
Let q = 133 - 135. Is 0.076 > q?
True
Let r be 0 + (-1485)/(-10) + 3/6. Which is greater: r or 151?
151
Let y = 14 - 10. Suppose -11 - 1 = 3*f. Let j be f - 33/(-9) - (-2)/(-3). Is y less than or equal to j?
False
Let u be 1822/(-3)*12/(-32). Let i = 229 - u. Are 1 and i non-equal?
True
Let l = 34576/237585 - 50/337. Is 0 equal to l?
False
Let l = -18 - -67. Which is smaller: l or -1?
-1
Let b(w) = -2*w + 82. Let f be b(31). Which is smaller: f or 25?
f
Let c = -25118/9 - -2782. Is -9 at most as big as c?
True
Let v = -155 - -159. Let h(k) = k. Let o be h(0). Suppose -1 = -a - 4*c - o, -2*a = 2*c - 8. Are v and a non-equal?
True
Suppose -5*c + 0 + 5 = 0. Let l = -5 - -38. Let z = -31 + l. Which is smaller: z or c?
c
Let u = -474 + 468. Are -19/3 and u nonequal?
True
Let z = 1040 + -1039. Is 400 at least z?
True
Let n(f) = -f**2 - 12*f - 5. Let r be n(-11). Let j be 3/(-6 + 3)*-7. Suppose -j*v + 3 = -4*v. Which is bigger: r or v?
r
Let z be (-3)/((-1 - 2)/3). Suppose 3*m + z + 0 = 0. Let h be (m - -4)/(6/(-20)). Which is smaller: -11 or h?
-11
Let l = -9 - -6. Suppose -4*h = 4*z, -z - 3*h + 0*h + 6 = 0. Let p be z/45 - (-2)/5. Which is smaller: p or l?
l
Suppose 126 = 5*g + g. Suppose -4*v - 48 = 4*p, 4*v - 8*v = -2*p. Let i be 7/(-28) + (-170)/p. Are g and i nonequal?
False
Let d be (26/(-78))/((-1)/12). Suppose d*u + 2 = 5*u. Suppose l - 3*l = -6. Which is smaller: u or l?
u
Let l = -1.65 - -0.24. Is 2 at most l?
False
Let g = 20495 + -184733/9. Let j = 1247/36 + g. Which is greater: j or 1?
j
Let b(h) = h**2 + 2. Let u be b(2). Let o(g) = -16*g**2 - g + 1. Let q be o(1). Let a = -10 - q. Is u < a?
False
Let o = -619365/788 - -786. Which is bigger: o or -1?
o
Suppose 37 - 7 = 3*t. Let p = 19/2 - t. Which is bigger: 1.6 or p?
1.6
Let q be 698/(-4) - (529/(-23))/(-46). Which is bigger: q or -180?
q
Suppose 0 = 4*t - 16, -2*x + 5*t - 4 = 2*t. Suppose -3*a + 12 = 3*j, -x*a + j = -0*a - 6. Suppose -4*i - 18 = -a. Which is bigger: -5 or i?
i
Let z be (-11 - (-1 + 3)) + -4. Let v = z - -15. Let n = 8/27 + -167/108. Which is smaller: n or v?
v
Suppose 0 = 4*o + m - 17, -3*o + o - 2*m + 10 = 0. Suppose o = -2*t + 3*g + 3, -3*g - 1 = -t. Is t >= -3?
True
Suppose -6*y = -4*y - 166. Let g = 84 - y. Is 1/51 < g?
True
Suppose -5*r + 112 + 28 = 0. Suppose -r = 2*d - 8. Which is smaller: d or -8?
d
Let m = -16 - -20. Let j be (m/12)/((-1)/(-69)). Let w = 22 - j. Are -8/5 and w nonequal?
True
Suppose 37 = -3*n - 8. Let v be -15*((-12)/4 - -4). Is v at most as big as n?
True
Suppose -2*d = -0*d - 10. Suppose -d*m + 81 = -5*n - 34, -2*m = -3*n - 44. Let f = -101/4 + m. Do 0 and f have the same value?
False
Suppose -12 = 3*m, 4*i = -48*m + 49*m - 664. Which is smaller: -165 or i?
i
Let n be ((-860)/8)/(4/8). Are n and -216 nonequal?
True
Let s = -161 - -162. Which is smaller: s or 1/202?
1/202
Let t = -2.99 - -2.89. Which is greater: t or -255?
t
Suppose 0 = -r - 4*m + 122, 22*r + 5*m = 19*r + 401. Which is smaller: 0.2 or r?
0.2
Let m = -1048 + 1036. Let y be (0 + 1)*(-16)/2. Which is smaller: m or y?
m
Let v(c) be the first derivative of -c**4/4 + 13*c**3/3 - 7*c**2 + 15*c - 2. Let y be v(12). Is y at most as big as -31/4?
True
Let i be 1/(-3) + (-100)/15. Let x = i - -9. Let d = -0.03 + 0.23. Which is smaller: x or d?
d
Let a(h) = -h**3 - 2*h**2 + 4*h + 4. Let c be a(-3). Suppose 0 = -2*l - 110 - 134. Let x = l + 612/5. Is x at least as big as c?
False
Let c be 1/(-3)*(-11 + 10). Let q be ((-1)/(-3))/(76/120). Let b = -12/95 + q. Is b <= c?
False
Let f = -0.111 - -1.321. Let b = f + -0.31. Let q be (-2 + 0)*1/4. Which is bigger: b or q?
b
Suppose -2*k - 21 = -5*k. Let c = k + -12. Suppose -7*n - 3 - 25 = 0. Which is bigger: n or c?
n
Let w(h) = -101*h + 322. Let l be w(0). Are 320 and l nonequal?
True
Suppose -25 = -5*u + 10. Suppose 2*q + 12*x = 10*x + 12, -2*q + 5*x + 33 = 0. Is q equal to u?
False
Let h(p) = -p**2 - 3*p + 7. Let o be h(5). Let x be (-10)/(-6)*-17 - 3. Let y = x - o. Which is smaller: y or 1?
1
Let q = -27 + 28. Let m be (5/(-310))/((-4)/(-8)). Which is smaller: q or m?
m
Let x = 3007/5 - 393907/655. Is x < 1/5?
True
Let o = -424 - -423. Suppose 3*q = -4 + 1. Is q greater than o?
False
Let d(j) be the first derivative of j**4/4 - 4*j**3/3 + j**2/2 - 4. Let b be d(4). Suppose -3*w + x + 24 = -0*x, 25 = b*w + x. Is 7 smaller than w?
False
Let s = -12 - -8. Let j = -0.3 - -0.2. Which is smaller: j or s?
s
Suppose 2*u + 3*j - 2 = u, -4*u = -2*j + 6. Let v be (1188/(-341))/3 + 1. Which is bigger: v or u?
v
Let n(p) = -p - 1. Let h(s) = s**3 + 6*s**2 - 10. Let j(q) = h(q) - 4*n(q). Let k be j(-5). Let w be 2 + (2/(-31) - 2). Which is smaller: k or w?
k
Suppose 0 = 26*n - 1146 - 4392. Is 212 at most n?
True
Suppose n = 0, -3*m - 12 = -2*m - 5*n. Let j(o) = -o**3 - 25*o**2 - 22*o + 50. Let w be j(-24). Let x(i) = -2*i**2 - 2. Let r be x(w). Is m less than r?
True
Let v = -39465/8204 - 66/293. Let i = -9/7 - v. Which is bigger: i or 4?
4
Suppose 4*y - 2*z - 88 = 0, 2*y = -5*z - 0*z + 20. Suppose -5*b = -0*b + y. Which is smaller: -24/7 or b?
b
Let t be ((-11)/(165/10))/((-4)/2100). Is -3 > t?
False
Let r(g) = 2*g + 6. Let a be r(-5). Let u = a - -3. Let c be -4 + 1/(6 - 5)*3. Are u and c unequal?
False
Let k(m) be the first derivative of -23*m**3/3 + 3*m**2/2 + 2*m - 20. Let a be k(-1). Which is greater: -25 or a?
a
Let d = -1129.06 + 1147. Let j = d + 0.06. Which is smaller: 0 or j?
0
Suppose 40*j = 5*w + 37*j + 20, 4*j - 21 = w. Is -21/113 greater than w?
True
Let l = 2 + -2.1. Let d = 0.3 + l. Let y = -804/5 - -5618/35. Is y at least d?
False
Let t = -49 + 29. Let d = t + 23. Is -1/2 greater than or equal to d?
False
Suppose 7*n = -3*p + 2*n - 8, -p - 2*n - 3 = 0. Do p and 45 have the same value?
False
Let l(i) = i**3 - 18*i**2 - 43*i + 64. Let h be l(20). Let p = -1 - -4. Suppose p + 2 = d. Is h greater than d?
False
Let i = 68 + -104. Let y = i + 22. Which is greater: y or 1?
1
Suppose 3*f + 247*v - 249*v = 1, -2*v = -f - 5. Which is smaller: 0.022 or f?
0.022
Let r be ((-4)/6)/(4/(-402)). Suppose -41*q + 1476 = -1230. Which is bigger: q or r?
r
Let z = -2/453 - -9976/2265. Which is bigger: 1 or z?
z
Suppose -4*t = -1 + 9. Let o be ((-125)/(-20))/(t/(-8)). Is 26 >= o?
True
Let c(j) = 11*j**3 - 5*j**2 - 3*j + 3. Let w be c(-1). Is w smaller than -8?
True
Let r be -1 + 3 + 137 - (-106 + 103). Is r at most as big as 143?
True
Let l = -1570 - -12591/8. Are 4 and l nonequal?
True
Suppose 0 = -10*m - 159 + 79. Which is smaller: m or 0?
m
Suppose -2*f - s + 8 = 2*f, -13 = -3*f + s. Suppose f*p = -p. Which is smaller: 1/7 or p?
p
Suppose 3*b = -5*k, -5*k - b = -2*b. Suppose -i - 2*q = 3*q + 9, k = 4*i + 5*q + 66. Let f = i + 19. Which is smaller: -1/3 or f?
-1/3
Let k = 3 - 0. Let q be ((-2)/k)/(14/(-63)). Suppose 3*l = 3*s - 3, -s - s = -q*l - 2. Is s <= 1?
True
Let q be 14 - (7/((-21)/(-12)))/4. Let j(k) = -k**2 + 17*k - 42. Let x be j(q). Which is bigger: 2/25 or x?
x
Let n = -1189 - -1172. Which is greater: -31/2 or n?
-31/2
Let w = 19/3 + -6. Let x = -52.115 + 0.115. Let z = -53 - x. Is z >= w?
False
Let t be (-1924)/(-10) - 22/55. Let d be t/(-112) - (-2)/(-7). Which is smaller: d or 0.16?
d
Suppose -3*g + 376 = 5*z, 4*z + 0*g - g = 311. Which is smaller: 78 or z?
z
Let i = -51 - -49. Let p(d) = -d**3 - 5*d**2 - 1. Let r be p(-5). Let f = -2 + r. Is f less than i?
True
Let k = -1 + 1. Let v(c) = c**2 + 5*c + 14. Let z be v(-7). Let j = -27 + z. Which is smaller: j or k?
k
Suppose 0*r + 4*r = 0. Suppose -k - 4 = -r*k, -2*y + 72 = -2*k. Let z = y - 257/8. Which is smaller: -1 or z?
-1
Let p(u) = -u + 31. Let j be p(17). Which is greater: 10 or j?
j
Suppose 538 - 916 = 3*m. Is m not equal to -2/13?
True
Let a be 0/3*(-5)/(-10). Suppose -2*c + 3*c = a. Let r = c + 0. Is r at least -9/8?
True
Let g = 0.24 - 7.24. Let b = g + 4. Is -2 at most as big as b?
False
Suppose 2*b - 4*j - 16 = 0, -3*b - 3*j + 33 = -6*j. Which is bigger: b or 2?
b
Suppose t = -0*t + 4*u - 6, -2*u = -3*t - 8. Suppose 0*o = -4*r - o, 5*r - 11 = -4