98*w + x. Is w not equal to -1.1?
True
Suppose 5*l - 5*i - 38 - 7 = 0, 3 = 2*l + i. Suppose 5*j = -o - 85, 255 = -4*o + o + l*j. Which is bigger: 0 or o?
0
Let m(k) = -2*k - 1. Let f be m(3). Suppose p - 3*n = 16, p + 36 = -4*n + 17. Let x be f/(-2*p/6). Which is smaller: x or 22?
x
Let f be (0 + -21 + 5)/((-3)/9). Let u be 1865/(-10) + 8/f. Which is smaller: u or -185?
u
Let v be 2/10 + 1128576/320. Let b = 17699/5 - v. Which is bigger: b or 1?
b
Let m be 0 + 1976/22 + 2/11. Suppose b - m = -3*s, 6*s + 3*b = 2*s + 120. Let r = 24 - s. Is r equal to 2?
False
Let y = -3670210/833257 + -30/14123. Which is bigger: -5 or y?
y
Let a be 0/(-3*(-4)/(-12)). Let r be (5 - a)/(3 + 42/(-15)). Suppose 4*t + r + 19 = 0. Which is bigger: -12 or t?
t
Suppose -138*j + 75416 = -127*j. Is 6854 at least as big as j?
False
Let w = -19174445 - -594463962/31. Let r be (915/9 + -1)*-18. Let s = w + r. Is 0 >= s?
True
Suppose 0 = -5*f + 2*f + 12. Suppose 5*x + 70 = 5*a + 10, -a + f*x = -12. Let i = a + -38. Is i at least -26?
True
Let q(m) be the second derivative of m**5/20 - 5*m**4/6 - 3*m**3/2 - 9*m**2/2 + m. Let c = -2460 - -2471. Let n be q(c). Is n equal to 13?
True
Let p be -3 + 5 + -3 - -1. Let w be (p + (-12)/(-5))*201/(-12). Which is smaller: -39 or w?
w
Let a = 3930.2 + -14.2. Which is bigger: a or 1?
a
Let q be (183/12)/((-7)/(-56)). Let o = 107 - q. Let g be o/(-20) - (-4)/(48/(-621)). Which is bigger: g or -101/2?
-101/2
Let o(l) = -l - 26. Suppose 5*h - 70 = 5*v, v - 5*h = -2*v - 40. Let t be o(v). Suppose 4*s + 52 = 2*f, 2*s - 4*f + 26 = -0*f. Are t and s equal?
False
Let t be 4*((-9)/6)/(12/(-68)). Suppose -5*z = 3*i - 75, 4*i - 105 = -0*i - 5*z. Which is smaller: t or i?
i
Let g = -233 + 237. Suppose 0 = -4*d + 2*o - g*o + 126, -2*o - 153 = -5*d. Are 3 and d non-equal?
True
Let x = 6800 - 6836.19. Let g = -35.8 - x. Which is greater: -2/7 or g?
g
Let d = -0.04172 + -4.75828. Which is greater: -1/65 or d?
-1/65
Let b = -43.3 + 4.3. Suppose 11*h = 10*h + 2. Is b greater than h?
False
Suppose -4*i + 4*s - 134 = 394, 2*i + 269 = 3*s. Let m = 19 - i. Let h = 1153/8 - m. Is -2 at most h?
True
Let y(s) = 13 + s**3 + 7 + 11*s**2 - 5 - 5 + 3*s. Let v be y(-9). Are 145 and v nonequal?
False
Let i(y) = -y**3 + 3*y**2 + 3*y - 5. Let m be i(0). Let z be -4*m/12 - 2. Which is bigger: 0 or z?
0
Let w be 80/(-6)*(1 + (-5)/2). Let c = -10 + w. Suppose -c*h + 5 = -5*h. Which is bigger: h or 20/11?
20/11
Let g = 13675.32 - 13675. Which is greater: 37/11 or g?
37/11
Let r be ((-10)/50)/((-4)/(-30)) - 83744/(-56256). Which is bigger: -1 or r?
r
Suppose 2051 + 48 + 102 = -31*r. Which is smaller: -22 or r?
r
Let d be (15/9 - 2)/(2/(-18)). Suppose 0 = 2*v - 13 - d. Let c = 6 - v. Which is smaller: -2/21 or c?
c
Let m = 2281 + -2262. Which is smaller: -113 or m?
-113
Let j = -26 - -24.92. Let l = j - -17.28. Let q = 16 - l. Which is greater: q or 0.02?
0.02
Suppose -2134*k - 108 = -2098*k. Let b be -1 + 3/(6/4). Let v be b*8*(-3)/10. Does v = k?
False
Suppose -2*w - 4*r + 658 = 0, -w + 61 = -r - 274. Suppose -1307 = -4*u + j + 28, -5*u + 1597 = 9*j. Which is smaller: w or u?
u
Suppose 73*p + 416700 = -2*p. Is -5555 at least as big as p?
True
Let m = 93 + -98. Let p be -2 + 1 - -6 - (m - -7). Suppose p*j + 60 = -j. Is j less than or equal to -15?
True
Let g(t) = -482*t + 373. Let p be g(1). Which is greater: p or 26?
26
Suppose 919550 + 222125 = -242*h - 903709. Is h at least -8452?
True
Suppose 83*z + 4520 = -1788. Is z > 2?
False
Let k = 4546 + -4545.256. Is k >= 1.1?
False
Suppose q + 5 = 0, -2*b - 2*q = -0*b + 66. Let s = 12.6 + -6.7. Let f = s + -6. Is f <= b?
False
Let h(b) = -b**2 + 19*b - 63. Let l = 364 - 349. Let o be h(l). Which is smaller: -33 or o?
-33
Let h = 7.79 + -6. Let a = h + -1.69. Let c = -31.1 + 3.1. Which is greater: a or c?
a
Let p = -1888 + 1899. Is -65/6 < p?
True
Let b(v) = v**2 + 2*v - 13. Suppose 15 = -0*w + 5*w - 5*n, 2*w = -4*n + 12. Let m be b(w). Which is smaller: m or 86/9?
86/9
Suppose 97*q = -378*q + 64*q + 3288. Suppose 10 + 16 = 2*k. Is k < q?
False
Let r = -2.18 + 0.38. Let d = -0.2 - r. Let h = -3.9 + 4. Which is smaller: h or d?
h
Let a be 4*2/52 - (-5145)/273. Suppose -3*d = -0*v + v + a, -2*v + 4*d - 8 = 0. Is -19 <= v?
True
Let l = -17 + 17. Suppose j = 3*h + 41, 5*j - 3*h + 0*h - 169 = l. Let x be 33 - 6/(-3) - 2. Which is smaller: j or x?
j
Suppose 0 = -66*b + 69*b - 102. Suppose b*y - 19*y = 1725. Is 116 equal to y?
False
Let g be (-4)/14 - ((-176)/28 - -1). Suppose -g*o + 35 = 5*i, -3*o + 3*i - 1 + 4 = 0. Let h = -4 + o. Which is greater: h or -7/18?
h
Suppose -4*t - 25 = 7. Let s(o) be the second derivative of -o**3/2 + 51*o**2/2 - 16*o. Let j be s(19). Which is smaller: j or t?
t
Suppose -5*z = -z - 84. Let w = 1179796/57815 - 74/11563. Is z less than or equal to w?
False
Let t(w) = 22*w**2 + 12*w - 34. Let v be t(6). Let k = -849 + v. Is -3 smaller than k?
False
Let c = -16 + 14. Let f be (-3 - ((1 - c) + -6))*-1. Suppose -s - 4*w + 22 = 0, f = -4*s - w + 54 - 11. Is 8 >= s?
False
Let g = -1/2550 - -128/1275. Does -24 = g?
False
Let d(a) = -a + 15. Let l(z) = -z + 14. Let v(r) = 6*d(r) - 4*l(r). Let y(q) = q - 17. Let k(o) = -4*v(o) - 7*y(o). Let j be k(14). Which is smaller: -4 or j?
-4
Let v be 86/(-387) + (-2)/(-9). Suppose v = 20*u + 6*u + 676. Do -23 and u have the same value?
False
Let m be (-2)/(-38) + (-204)/3876. Which is smaller: m or -34/185?
-34/185
Let r = -3411 - -2923. Which is smaller: r or 1/5?
r
Let t = -63 + 65.6. Let o = 2.7 - t. Let a = 6.7 - -3.3. Which is bigger: a or o?
a
Let k be (-122094)/(-244324) - (10/(-4) - -3). Is k less than or equal to 1?
True
Suppose -30 = 2*b + 5*i, -i - i - 30 = 2*b. Let h be (b/(-9))/(2/6). Suppose 2*o = -2*j + 7 + 5, 0 = -o + 2. Is h bigger than j?
True
Let j be 0/(-7)*1/(-3). Suppose -3*h = 2*g - 5*h + 126, j = g - 2*h + 66. Let y = -52 - g. Which is greater: 4 or y?
y
Let u = 184873 + -104083559/563. Which is greater: 1 or u?
1
Let h be (11 - 100)/(3 - (-4)/(6/(-3))). Which is greater: h or -1156/13?
-1156/13
Let n(f) = -f**3 - 11*f**2 - 10*f. Let p be n(-10). Let y = -6/7 + 151/168. Which is smaller: p or y?
p
Let q(c) = c**2 + 4*c - 10. Let m be q(-6). Suppose 2*v = 5*w - 14, -v - 14 = -4*w + m*v. Is w greater than 15/14?
True
Let w(d) = d**2 - 8*d - 7. Let y be w(-1). Let l be -3 - 38*y/(-24). Is 1 at most as big as l?
False
Let l be 4/14 - -4652*((-1853)/119 - -15). Which is greater: l or -2659?
l
Suppose 4022 = 14*x - 0*x - 61708. Are 4695 and x equal?
True
Let q be 50/(-75)*48/32. Is q greater than or equal to 6/1429?
False
Let p be (6/(-9))/(942/9). Let d(x) = -2*x**2 + 9*x + 8. Let k be d(5). Suppose 22*q + k + 19 = 0. Is p != q?
True
Let f = -44579/63 + 2123/3. Is f at most 0?
False
Let d = -34 + 63. Let h(r) = r**2 - 19*r + 20. Let j be h(16). Let q = j + d. Is -1 < q?
True
Let m = 0.51 - 0.42. Let z(l) = 240*l + 727. Let k be z(-3). Which is smaller: k or m?
m
Let r be ((-6)/484)/((-6)/8). Let t(u) = -5*u - 450. Let d be t(-90). Are r and d equal?
False
Let h = 0.218 + -229.218. Let x = h + 250. Is -1 at most as big as x?
True
Let f be (22099/(-35) - -3)/(44/55). Which is smaller: f or -785?
f
Let a = -3.012 + 2.512. Which is smaller: a or 1/14?
a
Let y(r) = 96*r - 1561. Let k be y(16). Which is bigger: 9 or k?
9
Suppose 163369 = -26*g - 55395. Are -8415 and g nonequal?
True
Let l = 374 - 261. Let g = -248 - l. Which is smaller: g or 0.1?
g
Let v = -12834 - -12379. Is v equal to -459?
False
Let u(g) = g**3 + 21*g**2 - 31*g - 72. Let v be u(-18). Suppose 201*j - 192*j - v = 0. Which is smaller: 161 or j?
161
Let j(v) = -22*v + 178. Let l be j(8). Suppose -2*q - q + l*n = 1469, 2*q - 4*n = -974. Which is smaller: q or -490?
q
Let j = 6809 - 6824. Is -233/15 not equal to j?
True
Suppose 26*n + 84*n + 47*n = -314. Is -194/201 > n?
True
Let k = 6464.363 - 6460. Let a = k + -0.063. Let p = a + -7.3. Which is bigger: 2/9 or p?
2/9
Let f(n) = -n**3 + 3*n**2 + 2*n + 45. Let c be f(5). Let i be (6 - 2 - -1)/(c/20). Which is smaller: i or 101/5?
i
Let d be (-25024)/92 - (12/(-1))/2. Is d at most as big as -270?
False
Let g(i) = -i**2 - 18*i - 22. Let z be g(-13). Let f = z + -41. Let q be (1 - -1 - 2)/f. Which is smaller: -1/54 or q?
-1/54
Suppose -191*w - 3496 =