t z(j) = -54*j**3 + 4*j**2 - 5*j + 5. Let s be z(2). Let b = -481 - s. Which is bigger: r or b?
b
Suppose -1007 = -a - 65*r + 70*r, 2*r = -4*a + 3962. Is 992 smaller than a?
False
Suppose 0 = 9*c - 502 - 722. Suppose 0 = -3*k - 23*k + 3562. Which is smaller: c or k?
c
Let z = -149 - 108. Let m = z + 262. Which is greater: m or -1/5?
m
Let r = -27 + 21. Let y(q) = 2*q**2 - q + 1. Let h be y(1). Let p be h + -2 + (-28)/(-35). Which is greater: p or r?
p
Let g(x) be the first derivative of 175*x**3/3 - 5*x**2/2 - x - 127. Let r be g(1). Which is smaller: 167 or r?
167
Suppose k - 7 = 5*o - 7*o, 0 = o + 3*k - 11. Suppose 3*t - 33 = d + 14, 4*d + 18 = o*t. Which is smaller: t or 16?
16
Let q = 2/109 - -208/545. Let o = 196381/12 + -16365. Are q and o non-equal?
True
Suppose 64*h - 169*h + 996 = 61*h. Suppose 7 = -3*g - 5. Let y = g + 4. Which is smaller: y or h?
y
Let h = -1787 + 2691. Is h greater than or equal to 5?
True
Let p = -33122/7 + 4735. Is p equal to 2?
False
Let r(p) = -p - 11. Let a be r(-9). Let l be (32/(-12))/(a/(-63)*1). Let j = l + 89. Is 44/7 <= j?
False
Let j = -0.82 + 1.82. Let h(b) = -2*b**3 + 4*b**2 - 3*b - 2. Let n be h(2). Let r be 274/n + 1/4. Which is smaller: j or r?
r
Let w = 0.04503 - 111.04503. Which is smaller: w or -0.13?
w
Suppose 19*h - 6143 - 1837 = 0. Let w = -421 + h. Is -2.34 bigger than w?
False
Let v(l) = 106*l + 3. Let i be v(-2). Let a(g) = 57*g + 7201. Let t be a(-130). Are t and i unequal?
False
Let c be (-6)/(-18) - (-674)/(-6). Let z(r) = -156*r + 356. Let l be z(3). Is c != l?
False
Let q = -73.9 + -0.1. Let w = 74.088 + q. Let s = -3.088 + w. Is -3 at most s?
True
Suppose h - 18 = -6*o + 5*o, 0 = -5*o + 4*h + 45. Let s(j) = -j**2 + 11*j + 23. Let p be s(o). Which is smaller: p or -13/4?
-13/4
Let z be 23/3 + (-24)/(-72). Suppose -2 = -z*u + 7*u, -2*m + 164 = u. Suppose -98 = -5*p - 3*f, 5*p + f = 15 + m. Which is greater: p or 20?
20
Let z be (6/(-4))/(6/20). Let o(y) = 2*y**2 - 20*y. Let k be o(9). Let q = -20 - k. Is z at most q?
True
Let m = -8 - -14. Suppose -r + 0*r - d = 0, -3*d + m = 5*r. Let a(h) = -h**3 - 12*h**2 + 75*h + 169. Let v be a(-16). Which is smaller: v or r?
v
Let s(b) = -b**3 - 7*b**2 - 2. Let q be s(-8). Let v = -621/10 + q. Let i(l) = -l**2 - 1. Let f be i(0). Which is bigger: v or f?
v
Let s = -9994 + 39975/4. Is s > 2093?
False
Let w = -3.45 + -0.65. Let q = w + 2.1. Let b = -76 - -78. Which is smaller: b or q?
q
Let a = -0.2 + 0.14. Let v = -0.01 + a. Suppose -37*s + 47*s - 10 = 0. Is v at least s?
False
Let t be (11550/21 + 7)/(2/10). Which is greater: t or 2786?
2786
Let c be (-8 + (-392)/(-48))*6. Which is smaller: c or 5/22?
5/22
Let d = 18.284 - -1096.416. Which is smaller: 0.1 or d?
0.1
Suppose 55*t + 1113 = 202523. Is 3664 != t?
True
Let g = -4137 + 4110. Which is bigger: g or 7?
7
Suppose 0*k - 2*k + 7 = -3*q, 0 = 5*k + 3*q - 28. Suppose 0*o + 3*o - k*u - 581 = 0, u = 2. Is o bigger than 198?
False
Let q = 13.695 - -0.105. Let l = -2.8 + q. Is 5 greater than l?
False
Suppose b = 1, -i - b + 197 = -0*b. Let q = 186 - i. Is -69/8 > q?
True
Let d = -49/403 - -60889/63271. Which is smaller: 2 or d?
d
Let v = -594 - -723. Suppose 6*l + 219 = v. Is l at most as big as -13?
True
Let q(z) = -z**2 - 12*z + 38. Let a be q(0). Suppose 5*w = b - a, 5*w = 5*b - 9 - 41. Is w greater than or equal to -3?
False
Let p(l) = -2*l - 9. Let s be p(-6). Suppose d + 15 = -5*o - s, -2*o = 5*d + 182. Let f = 83 + -119. Is f at most as big as d?
False
Let s be -1399 - (-67 + 67 + 1 + 9). Is s != -4?
True
Suppose 14*r - 21 = 18*r - 5*w, w - 5 = 0. Which is smaller: -7/449 or r?
-7/449
Let p(t) = 103*t + 212. Suppose -27 = 20*b + 13. Let d be p(b). Let l be (-1)/3 - 26/(-6). Which is greater: d or l?
d
Suppose 688681 + 139517 = 189*h. Is h < 4383?
True
Let s = -142 - -649. Suppose -7*b = 6*b + s. Is b at most -39?
True
Let a(y) = -2*y - 52. Let v be a(-26). Suppose -2*b = -8*d + 7*d - 450, v = -d + 4. Is b >= 227?
True
Let y be (-6)/(-10) + 85/25. Suppose -y = -3*w + 17. Let n be 12*(w/2 - 4). Is n bigger than -3?
False
Let u be (30/(-25))/((-12)/(-40)) - 74/(-18). Which is greater: u or 9?
9
Suppose 46*x - 97*x - 82518 = 0. Do x and 2 have the same value?
False
Suppose -2*n = -13*n + 44. Let g be 1/(2/n) - -48*2. Is g equal to 97?
False
Let i = -2460.8 - -2461. Does -6/43 = i?
False
Suppose 2*h = 3*c + 3*h - 5, 2*h = 4. Which is greater: c or -9/127?
c
Let f be ((-1477)/586376*794 + 2)/1. Is 1 <= f?
False
Let p(f) = f**3 + 6*f**2 + 6*f + 5. Let h be p(-5). Let o = -227/253 + 6/23. Which is smaller: h or o?
o
Let q = 207/4 + -13463/260. Suppose 7130 = 264*d - 241*d. Let r = d + -310. Which is greater: r or q?
r
Suppose 5*f + 13 = 2*m, -2*f - 4 = -2*m + 6. Do -2/21061 and f have different values?
True
Let m be 0 - ((-235)/45 - 6/(-27)). Let q be (-90)/(-54)*18/10. Suppose q*o = -5*c + 23, -5*c = 2*o - 0*c - 17. Which is smaller: m or o?
m
Let r(u) = -2*u**2 - 4*u + 173. Let a be r(10). Let q = -68 - a. Which is smaller: 1/362 or q?
q
Suppose -39*z = 28*z + 15*z - 82410. Which is smaller: 7032/7 or z?
7032/7
Let d = -33.01 + 0.01. Let s = -441/8 - -219/4. Let j = -1/8 - s. Which is greater: d or j?
j
Let m(n) = 41*n + 14. Let d(j) = -8*j - 3. Let o(k) = -11*d(k) - 2*m(k). Let s be o(5). Let z be ((-2)/3)/(s/21). Which is greater: z or 10?
10
Suppose 0 = 4*r - 4*c - 16, 0 = r + 3*c - 21 + 37. Is r != 3/6823?
True
Let g be 294/(-56) + 6 + (-612)/48. Let r be 4/(-6) + 50/(-6). Which is smaller: g or r?
g
Let s = -38.42 - -39.32. Is s not equal to 135?
True
Let h be (10/25*(-20)/2)/(42/9). Is -7 < h?
True
Let h = -20812 + 20827. Do h and 39.8 have different values?
True
Let l be (198 - 198) + (1 + 1)/1. Suppose 0 = 5*q + 11 + 99. Is l < q?
False
Let w = 3645 + -3266.2. Let p = 380.727 - w. Let j = p + -0.027. Which is smaller: -0.1 or j?
-0.1
Suppose 0 = -r - 3, -2*o + 19 = -r + 10. Suppose -3*d + o*s - 129 = 0, -4*s + 154 + 65 = -5*d. Suppose 3*h = 15, z = -2*z - 2*h - 134. Which is smaller: d or z?
z
Let k(x) = -x**3 - 13*x**2 + 18*x + 62. Let f be k(-14). Let b be f - 4 - (3 + -3 - 0). Which is greater: -28 or b?
b
Suppose 2*b + 5*f - 853 = 0, -5*b = -2*b - 3*f - 1248. Let s = 273 - b. Which is smaller: -291/2 or s?
s
Let q be (4 - 4)*((-3)/12 - 15/20). Is q at least as big as -1/9367?
True
Let s = -6819 + 7703. Which is smaller: s or 879?
879
Let s = -407.8 - -396.8. Which is bigger: s or 15?
15
Let j(u) = 54*u - 431. Let h be j(5). Which is bigger: h or -149?
-149
Let g = 22616 + -22551. Which is greater: g or 0.027?
g
Let f(g) = -29*g**3 + 5*g**2 + g. Let v be f(-2). Suppose 4*o - 378 = -v. Is o <= 157/5?
False
Suppose 2 = -5304*c + 5313*c - 7. Which is bigger: c or 5/946?
c
Let g be (-420)/3990 - (-367)/57. Let h(c) be the second derivative of c**4/12 - c**3/6 + 3*c**2 - 2*c. Let i be h(0). Which is smaller: g or i?
i
Let l(h) = -12*h**2 - 386*h + 5173. Let k be l(13). Is k less than -3745/2?
True
Let h be ((-272)/102)/(2/(-18)). Suppose 4*g - h = 12*g. Is -8/3 at least as big as g?
True
Let n be 7 - ((-22144)/392)/(-8). Let s = -0.09 - 0.91. Which is smaller: s or n?
s
Suppose -12 = m - 5*j, 0 = 3*m + j + 1 + 3. Let k = 2339.21 - 2339.2. Which is greater: k or m?
k
Let x = -34.5 - -40.5. Let c = -42 + 28. Let m = c + x. Which is smaller: m or 0.2?
m
Let d(g) = -g**2 + 22*g + 70. Let p(b) = -b**3 - 12*b**2 - 25*b - 25. Let k be p(-10). Let u be d(k). Which is smaller: -60/17 or u?
u
Let r = -76.9362 + 0.0362. Let i = r + 113.2. Let b = 36 - i. Is -6 less than b?
True
Suppose -27 - 21 = -12*n. Suppose -4*i = -10*i. Suppose n*f + 6 + 42 = i. Is -14 <= f?
True
Let t(j) = -j - 1. Let u(b) = -3*b**2 + 8*b + 7. Let x(y) = -t(y) - u(y). Let i be x(6). Suppose 70*v + 2*v - 7440 = -52*v. Is i at least as big as v?
True
Let l = 286 - 281. Suppose 2*z - 304 = l*a + 15, 3*a + 192 = z. Is -65 < a?
False
Let u = 739/17928 + 1/2241. Is 2.2 less than u?
False
Suppose 3*b = 6*b - 3*d + 42, 0 = 4*b - 5*d + 58. Let g be 0/(-3 - b/6). Is g != 0.008?
True
Let x be (366080/(-49056))/(-110) + 3/(126/(-4)). Is x != -6?
True
Let h be (-17)/5 - (-8)/20. Let s(d) = d**2 + 9*d + 4. Let w be s(-5). Let y = 17 + w. Which is smaller: h or y?
h
Let z be 5/4 - 8643/(-516). Which is smaller: z or 19/15?
19/15
Let u = 28.1