 (-10 - -9) + 17/11. Which is smaller: r or n?
r
Suppose -2*q + 3*d = -1450, 0 = -4*q - d + 625 + 2261. Is q less than 1443/2?
False
Let r = 4245 - 4172. Which is bigger: r or 74?
74
Let q(u) = -u**2 - 206*u - 1585. Let t be q(-8). Do 1/198 and t have different values?
True
Suppose -2*q + 4*g + 90 = 3*g, 4*g = 0. Suppose 0 = 5*s - 0*s - n + 51, -3*n - q = 3*s. Let z be ((-434)/(-744) + 4/(-48))*-13*2. Which is smaller: s or z?
z
Let p = 8 - 6. Let w be ((-2)/6 - -2)*21/7. Suppose w*v - 47 = 2*f, -63 - 7 = 4*f - p*v. Is -15 at most as big as f?
False
Let d(t) be the first derivative of 31/3*t**3 - 14 - 15/2*t**2 + 1/2*t**4 + 15*t. Let z be d(-16). Which is greater: -1/4 or z?
-1/4
Let r(n) = 214*n + 2001. Let w be r(-10). Which is greater: w or -148?
w
Let p = -3394 - -3396. Which is smaller: 106/107 or p?
106/107
Let v = 2248 + -2248. Is -1/6583 > v?
False
Let n(p) = 2*p**2 - 14*p + 2. Let v be n(7). Which is smaller: -27/22 or v?
-27/22
Let w be 390/(-50) - (-1 + 0). Let n = 103/10 + w. Let j(d) = d**3 + 27*d**2 + d + 32. Let u be j(-27). Do n and u have different values?
True
Let h be (28/(-18))/(130/585) + 192470/27496. Which is greater: h or -1?
h
Let a be (0 - 0)/(-1) - -50. Let m = a - 117. Is -131/2 at most m?
False
Let x = -58.9 + -218.1. Let o = x - -276.8. Suppose 3*d = -w - 2*d - 25, -4*w + 3*d - 146 = 0. Which is smaller: w or o?
w
Let w be (4/(-26))/((-4)/264). Let a = w + -10. Let p be (-1)/6*(-142)/(-213). Which is smaller: a or p?
p
Suppose 4187 = 5*p + 2*u, 0 = -p + 3*u + 704 + 147. Do 840 and p have the same value?
False
Let c(q) = q**3 + 40*q**2 - 82*q + 112. Let x be c(-42). Suppose 9*k - 89 = x. Do k and 19 have the same value?
False
Suppose 5*d + 0 + 15 = 0, 4*d = 4*c - 36. Let m be ((-51)/34)/(c/(-128)). Which is smaller: 34 or m?
m
Suppose -5*z + 3*m = -1545, -2*z + 12*m - 11*m = -619. Which is smaller: 316 or z?
z
Let d = -8.738 - -8.8. Let n = d + -0.242. Let z = n - 0. Which is greater: 1 or z?
1
Suppose -4 = -300*g + 296*g. Is 5/843 greater than or equal to g?
False
Let m = -0.3 + 0.2. Let k = 1594131 + -33468521/21. Let n = k - 392. Which is greater: m or n?
n
Let o = 2/963 + 36584/4815. Suppose -7*z = -3*z + 3*r + 113, -93 = 3*z + 5*r. Let a be (z + 21)*(0 + (-8)/5). Is a greater than o?
True
Suppose 74 + 46 = 3*n. Let r = n + -28. Suppose 5*m - 2 = -2*a + r, 0 = -3*a + 3*m + 21. Is a greater than 7?
False
Suppose -k = -219*i + 212*i + 3, 18 = -2*i + 5*k. Which is bigger: -2/14235 or i?
i
Let v = -5 - -5.9. Let t(r) = -r**2 + 3*r + 11. Let j(q) = 11*q - 27. Let f be j(3). Let p be t(f). Are v and p equal?
False
Let q = -580 - -585. Suppose 5*f - 4*n = 99, -2*n + 17 = f - 14. Suppose q*v - 2*u = -3 - f, 3*u + 6 = 0. Which is smaller: -32/5 or v?
-32/5
Let h = 0.18 + -40.18. Let a = 46 + h. Which is greater: a or 0.15?
a
Let p be (-62)/(-5)*50/20. Which is greater: p or 566/19?
p
Let m be (-1 - 2/(-3))*3. Suppose -24 - 32 = 14*q. Let v be (q/50)/((-175)/(-500)). Which is greater: v or m?
v
Let j = -139.824171 + 59799.753171. Let t = 59630 - j. Let a = 0.071 - t. Is a > 2?
True
Let s = -3.784 + 1.784. Which is bigger: -1.34 or s?
-1.34
Let n = -0.0727 + -26.5373. Which is smaller: -2/3 or n?
n
Let v be (1/1)/(21/132699). Which is smaller: v or 6318?
6318
Let y be (6*66/(-68688))/((-6)/9). Which is smaller: -1 or y?
-1
Let f = -16588 + 16697.57. Let n = 109 - f. Let c = 0.97 + n. Which is bigger: 6 or c?
6
Suppose -16*i + 9 = -13*i. Suppose -i*c + 46 = 49. Suppose -12 = 7*u + 30. Are u and c equal?
False
Suppose -3*h + 53 = -2*c, h + 2*c = -4*h + 83. Suppose 0 = -29*z + h*z. Is -30 > z?
False
Let s = -640 - -80002/125. Let p be 4/10 - -8*75/1000. Which is bigger: p or s?
p
Suppose -3*o = 15, -4*o - 44 = c - o. Suppose 473*b = 476*b - 2*u + 103, 3*u = -2*b - 34. Are b and c non-equal?
False
Suppose -5*i = -35, -83*i + 80*i = 5*j - 281. Is 97 at least as big as j?
True
Suppose 0 = -2*n - 2 + 16. Suppose -2 = m - n. Suppose -15 = -5*s + m*k, 5*s + 3*k = k + 22. Is 4 less than s?
False
Let s(u) = -35*u - 1810. Let f be s(33). Which is smaller: 4 or f?
f
Let a be ((-18)/30 - 33579/(-55970))/(9/12). Which is smaller: a or -1?
-1
Suppose -w - 9*w = -110. Suppose 0 = 5*p - 2*s - 13, -8*s + w = -p - 11*s. Is 2 at least p?
True
Suppose 2*s = 3*n + 534, -4*n = 75*s - 80*s + 1314. Which is bigger: 255 or s?
s
Suppose 77*v - 4*v = 2336. Let s be 1089/72 + (-2)/v*2. Is 11 greater than s?
False
Let o be (-9 - (-187)/22) + (-6)/(-4). Which is smaller: -23/169 or o?
-23/169
Let d be (-6475)/(-28) + (-1)/4. Are 459/2 and d non-equal?
True
Let k = 2515 + -3618. Is k at most -1104?
False
Let p = 2 - -4. Let w = 167 - 29. Let y = -138.04 + w. Which is bigger: y or p?
p
Let s(a) = 21*a + 51. Let w be s(33). Let b = -721 + w. Is b less than or equal to 24?
True
Let s(h) = 3*h + 4 - 3*h + h. Let z be s(-10). Let j = 2167 - 2174. Which is bigger: j or z?
z
Let c be (3 - 2) + (-14)/4. Let g = 0.0178 - 282.0178. Let a = g - -280. Which is smaller: a or c?
c
Suppose 4*q + 1152 = 16*q. Are 477/5 and q unequal?
True
Let x be 1/(-2)*(-2520)/(-252). Which is smaller: -287/67 or x?
x
Let p(z) = 284*z**2 + 4*z - 3. Let r be p(1). Suppose -3*d = -288 + r. Which is bigger: d or -2/21?
d
Let u = -118.38 - -118.34. Is u at least as big as -1/2?
True
Let c be 100/20*19*1. Let o = 957/10 - c. Let i = -4 + 5. Is o at most as big as i?
True
Let l(h) = h**2 - 11*h + 10. Let w be l(10). Suppose w*i - 908 = -4*i. Let x = -8173/36 + i. Is x less than 1?
True
Let i = 71 + -42. Let f = 11 - i. Let y = 8 + -27. Which is bigger: f or y?
f
Let m = -60 + 107. Let w = -41 + m. Let u be ((-18)/(-135))/((-2)/w). Which is bigger: u or -51?
u
Let x(v) be the second derivative of v**5/20 + 3*v**4/2 + v**3/3 + 27*v**2/2 - 13*v. Let q be x(-18). Let b be -3*(33/q - 1). Which is bigger: b or 13?
b
Let a(o) = -2*o - 36. Let n be a(-19). Let v be 540/84 - (3 + 0). Which is bigger: v or n?
v
Suppose -2*f + 1 = 7. Let b be 2/(f/6*4). Let j be (0 + 0)/(2/(-1)) + b. Is 3/13 not equal to j?
True
Let y = -34.53 + 33.2. Let a = 305 + -304.67. Let t = y + a. Which is bigger: 14 or t?
14
Let y(v) = 5*v**3 - v**2 + 20*v + 8. Let t(n) = 3*n**3 - n**2 + 13*n + 5. Let j(p) = -8*t(p) + 5*y(p). Let z be j(-5). Let l = 27 + z. Is l less than -8/5?
True
Let k = 6324 + -6324. Which is bigger: k or 1/11961?
1/11961
Let q be (-42)/(((-225)/(-10))/15)*-2*1. Let d be (220/(-6))/((-2)/3). Which is greater: d or q?
q
Let k = -2.6 - -0.6. Let c be (-60)/150 + (-24)/(-10). Let m be c + 4 + -11 - 413/(-70). Is k greater than m?
False
Suppose 36*r + 50*r + 45*r = -744735. Which is smaller: r or 0.1?
r
Let v(m) = 36*m - 72. Let n be v(2). Which is greater: -2/3421 or n?
n
Suppose -4*z = -5*g - 69 - 31, 5*g + 55 = -5*z. Let p be 155/(-102) - g/96. Which is smaller: p or -1?
p
Let w = -139.6 + -3.4. Let i = w + 141.58. Let u = i - -0.42. Which is greater: 1.7 or u?
1.7
Let c = 8899 + -13722. Is -4823 at most as big as c?
True
Suppose 58 = -y + 4*u, 3*u = -4*y - 2*u - 169. Let f = y + 175/4. Let n = -480 - -478. Which is smaller: n or f?
f
Suppose -10 = -5*l - 75. Let s be (l + -151)*2/8. Is s less than -44?
False
Let y(s) = -s**2 + 84*s + 2079. Let l be y(-20). Which is greater: 3/322 or l?
3/322
Let w = 7658/385165 - -18/2585. Are 1 and w unequal?
True
Let u = -140.8 + 166. Let p = u - 27.8. Which is greater: p or 0.4?
0.4
Suppose 2*j + 7*j = 72. Suppose -609 + 9 = j*v. Let a = 46 + v. Which is smaller: a or -27?
a
Let l = 25 + -17. Let j(y) = 4*y - 80. Let m be j(l). Are m and -50 unequal?
True
Suppose 0 = -5*c + 12 + 8. Suppose 81 = -c*x - n + 2*n, 5*n + 120 = -5*x. Suppose l = 19*l - 16*l + 42. Is x at least l?
True
Let p = -229.3 - -390.3. Are 0.2 and p non-equal?
True
Suppose 0 = 4*a - 0*y - 5*y - 61, 3*a = -5*y + 2. Let d be (a + (-75690)/8412)/((-6)/(-8)). Which is greater: 0.1 or d?
0.1
Let l be 32 + -14 - (66 + -49). Suppose x + 8 - 35 = 0. Suppose -o + x = -8. Which is greater: o or l?
o
Let l = 12.039 + -5.039. Which is smaller: 0.5 or l?
0.5
Suppose -66*z + 73*z - 28 = 0. Let h be z - (-1)/((-378)/1560). Which is smaller: h or 0?
h
Let h be (-87 - 2)/((-1)/2). Suppose 0 = 5*q - 45, -5*c + 5*q + 382 = -430 - 23. Are h and c unequal?
True
Let k = 0.85 - -0.25. Let r = -16032.7 + 16033. Do k and