 (-30)/g*(-3)/2. Suppose -3*i + 4*n = 2 + 2, 3*i + 5*n = 5. Which is smaller: i or r?
i
Let o be 5/25 + 0 - 1/5. Do o and 2/427 have the same value?
False
Let z = 11420 + -628117/55. Is z greater than or equal to -1?
True
Let s = 236 + -255. Is s < -10?
True
Suppose -3*w - 5*b = -42 + 46, -4*w + 38 = -2*b. Is 58/7 less than or equal to w?
False
Let p = 15.14 - 15. Let c = 1.34 - 1.34. Is p at least as big as c?
True
Let h(f) = 62*f**2 - 11*f + 7. Let u be h(4). Are 955 and u equal?
True
Let a(v) = v - 9. Let y be a(7). Let m be 4/((-12)/(-3) + y). Let p be m/1 + 5 - 1. Is p bigger than 4?
True
Suppose -25 + 5 = -2*x. Suppose 0 = -q - 4*p + 14 + x, 5 = p. Are q and 3 unequal?
True
Let n(v) = v**3 - 2*v**2 - 11*v - 13. Let q be n(4). Suppose -5*a + 0*y - 106 = y, 4*a + 108 = 5*y. Is q at least as big as a?
False
Let b be (-1 - -2)*(8 - 125/15). Which is greater: -3.4 or b?
b
Suppose -33 = 11*q - 22. Which is smaller: q or -14/15?
q
Let x = -56 + 59. Let i be 2/2 + -1 - -2. Suppose -7 - 1 = -i*m. Do x and m have different values?
True
Let l = -19 + 19. Let y be (1 - -1)*10/4. Let u = 7 - y. Which is greater: u or l?
u
Let u(q) be the second derivative of 0 - 1/12*q**4 - 1/2*q**3 + 6*q + 1/2*q**2. Let b be u(1). Are b and -3 non-equal?
False
Let i be -78 - -85 - 72/10. Suppose -8*z = -3*z. Which is bigger: z or i?
z
Let q = 484 - 4360/9. Let o = -1072/5 + 214. Is o > q?
True
Suppose 3*d - 6 = -36. Let h be 4*(2/(-8) + -2). Which is smaller: h or d?
d
Let q(u) = u**3 + 9*u**2 + 6*u - 8. Let z be q(-6). Let g be z/(-10) - (-8)/20. Let t be 2/4 + g/(-12). Which is greater: t or 2/19?
t
Let p = -0.489 + -0.001. Let s = p - -0.59. Which is greater: -1/24 or s?
s
Let v = 15140 - 20878063/1379. Which is greater: v or 0?
0
Let j(r) be the third derivative of r**6/120 - r**5/20 + r**4/4 - 5*r**3/6 + 3*r**2. Let s be j(3). Let f = 27 - s. Is 13 > f?
False
Suppose 4*v + 1 = -f, 5*f - 3*v - 18 = -0*v. Suppose -2*z - f = -9. Let o be z + (-2 - 0) - 1. Is o <= 4/3?
True
Let c be (-15)/50 - 3/(-10). Is c at most as big as -3/65?
False
Let h be (-4 + 2)*2/2. Let l = 44 - 62. Let f = -19 - l. Which is smaller: f or h?
h
Let r be 4 - (45/9 + -2). Let a(s) = s. Let m be a(0). Suppose -3*h - 3 = k + 3*k, 4*h + 4 = m. Is r smaller than k?
False
Let t = -31 + 11. Let i be t/(-2)*4/10. Suppose -i*r - 4*v = 16, -2*r = 2*r - 4*v - 16. Is 3/5 equal to r?
False
Let j be ((-21)/9)/(1/3). Suppose 0 = 3*u + 5*z + 6, -8*u - z = -6*u + 11. Let b = j - u. Which is bigger: b or -4/15?
b
Suppose 1388 = -3*v - 388. Let d be (2 - 2 - (-11095)/(-225))*12. Let s = v - d. Which is smaller: s or 1?
s
Suppose 4*o = -r + 1635, 2*o + o + 5*r - 1205 = 0. Is o >= 410?
True
Let p be 63/45 - (52/(-20) - -2). Suppose -z = 0, -2*t + 7*t - 4*z - 45 = 0. Suppose -p = t*u - 8*u. Which is smaller: u or -3?
-3
Let p be ((-8)/10)/((-4)/(-10)). Let q = 4 + p. Suppose 0 = -u - m + 2*m + 5, -q*m - 10 = 0. Is 1 < u?
False
Let n(c) = 2*c**2 + 5*c**2 + 1 + c**2 + 17*c - c**3 - 8*c. Let l(q) = q**2 + q - 3. Let r be l(3). Let h be n(r). Is -2 at least h?
False
Let b = -18.04 + 0.04. Let g = -30 - b. Is 0 >= g?
True
Suppose 25*p - 2533 + 1883 = 0. Let q = 91 + -63. Do q and p have different values?
True
Let z(f) = -3*f**2 + 17*f + 30. Let t be z(-2). Is t greater than -16?
False
Let h = 5639/7 - 807. Let v(m) = m + 12. Let s be v(-16). Let q be 0 + (-8 - -3 - s). Which is smaller: q or h?
h
Suppose 3*x - 14 = x. Suppose -x = -2*n + 1. Suppose -3 = n*m + 9. Which is smaller: -2 or m?
m
Let q = -63 + 65. Suppose 2 = -3*k + 14. Suppose z - q*c = 6*z, 0 = -z + k*c. Which is greater: -2/15 or z?
z
Let r = 653/835 - -3/167. Let z be 11 - 4/(6 - 2). Let s = 10 - z. Is s greater than r?
False
Let s = 1.7 - 13.7. Let d = -10 - -7. Let f be 3/(-9)*d/(-2). Which is bigger: s or f?
f
Let w(j) = 2*j**2 + 14*j + 2. Let b be w(-7). Suppose g = b*v - 10, 2*g + 2*v - v + 10 = 0. Is g less than -8?
False
Suppose 4*c + 5*m + 470 = 0, 8*c - 5*m - 230 = 10*c. Which is bigger: c or -125?
c
Let r = -54 - -51. Let s be r + 3 + (-1)/(526/(-4)). Is s <= -1?
False
Suppose 5*g + 3*f - 10 - 10 = 0, g = -2*f - 3. Suppose -3*o - g = -28. Suppose 2*r = -23 - o. Are r and -14 non-equal?
True
Let l = -6.6 - -2.6. Let a = l + 4.2. Is a >= -0.04?
True
Let w be (2/(-141))/(44/66). Is 1 != w?
True
Let w be 4/10 - (-7)/(-5). Let n be (1 - -1) + w - -7. Let b = 13 + -6. Is b != n?
True
Let w = -2.57 - 17.43. Is 1 at most as big as w?
False
Suppose 24 = -10*z + 4. Is -5/4 >= z?
True
Let x = -30 + 10. Is 0 > x?
True
Let j = -195 + 2725/14. Let y = 11/21 + j. Let g(i) = i**2 + 4*i + 2. Let r be g(-3). Is r less than y?
True
Let p = 119 - 29. Let j = p - -12. Which is bigger: j or 2/5?
j
Let k = -37.7 + -20.3. Which is bigger: 0 or k?
0
Let v = -65 - -45. Let y be v/70 - 80/14. Let l = 7 + y. Is -2 smaller than l?
True
Let s = -980 + 1046. Which is smaller: s or 1/3?
1/3
Suppose -3*b - 3*p = -102, p + 4 = -p. Let o = 40 - b. Which is bigger: o or 5?
5
Let r be 3 + (52/494 - 762/19). Are r and -38 non-equal?
True
Suppose -11 - 5 = -4*x - 4*a, -9 = -2*x - a. Suppose x*y + 5 = -5*p, -2*y - 10 = -3*p + 2. Let b be (-296)/36 - p/(-9). Is b at least -8?
True
Let h(l) = -l**3 - 4*l**2 + 8*l + 10. Suppose 8 = -9*q + 7*q. Let w be h(q). Is w at most -22?
True
Let w(v) = v**3 + 6*v**2 + 4*v - 2. Let x be w(-4). Let g = -7868/5 - -1588. Which is bigger: x or g?
g
Let t(a) be the second derivative of -a**3/2 + 8*a**2 - 4*a. Let k be t(11). Let f = k - -18. Which is greater: f or -1/19?
f
Suppose 2*n + 8 = 0, 0 = 3*l + 5*n + 597 + 1013. Is l at least -530?
True
Let u = 1204 - 1592. Which is smaller: u or 1?
u
Let h = -1 - 2. Let i = 7811 - 7811.05. Which is smaller: h or i?
h
Let h be 15/8 - 2/2. Let n = 638 - 637. Which is smaller: n or h?
h
Suppose -4*m = 5*t - 80, -3*t + 3 + 10 = m. Suppose 14*o - 339 = 11. Is m at most as big as o?
True
Let y(w) = w**2 - 17*w + 52. Let r be y(13). Which is bigger: -11/85 or r?
r
Suppose -4*t = 3*z - 66, -5*t = -5*z + 2*z - 96. Suppose 4*s - 4 = 2*r + 3*r, -t = -s - 3*r. Suppose -2*i = 2*q - 0*i + 4, 3*i - s = 0. Does -2 = q?
False
Let g be 7 - 11/(88/64). Which is greater: -1/1851 or g?
-1/1851
Let x = -437377/7633 - -974/17. Which is greater: -1 or x?
x
Suppose -2*m = -8*m + m. Do m and 26/33 have the same value?
False
Let n = 411230 - 524318171/1275. Let d be ((-2)/3)/((-850)/(-6)). Let q = d - n. Which is smaller: 1 or q?
q
Let v = 13/6 + -5/3. Let l be 117/(-135) + 1/5. Which is bigger: v or l?
v
Let b(i) = -i + 15. Let n be b(17). Let l be ((-1)/n)/(5/(-10)) + 1. Are 3/25 and l nonequal?
True
Let o be (-6)/45 - (-114)/30. Is o smaller than 3?
False
Let t = -2834 + 25642/9. Which is bigger: t or 15?
t
Let j(t) = t**3 + 10*t**2 - 2*t - 14. Let n be j(-10). Suppose 0 = -3*l - 21 + n. Let v be (-1)/l + (-8)/(-360). Which is smaller: 0.1 or v?
0.1
Let x be (-1)/6 - (-2057)/13566. Let w be (-4)/18 + (-7)/9. Which is bigger: x or w?
x
Let v be (-3)/(-12) - (-13)/(-4). Let n = v - -5. Let z = n - 0. Is z equal to -2?
False
Let s(b) = -b**3 + 10*b**2 - 2*b + 12. Let h be s(10). Let a be (h/4)/1*-4. Suppose 2*p - 8 - a = 4*j, 0 = 4*p. Do -5 and j have the same value?
False
Let p = 48 + -70. Let w be 2*1/(4/p). Let m be ((-1)/(-3)*33)/(-1). Are m and w equal?
True
Suppose 2*s = 58 - 64. Let m = -13 + 18. Are s and m unequal?
True
Let i = 208 - 198. Which is bigger: i or -18?
i
Let o(w) = -2*w**2 + 18*w + 4. Let f be o(9). Suppose -f = -4*i - 8. Which is greater: i or 1/86?
1/86
Suppose -247*s = -233*s + 868. Which is smaller: s or -63?
-63
Let i = -3903 - -729859/187. Which is smaller: 0 or i?
i
Let j(d) = d**3 - d**2 + 5*d + 6. Let a be j(-1). Which is greater: -6/61 or a?
-6/61
Let z = -829 + 928. Which is smaller: z or 0?
0
Let h = -1368 - -1375. Which is greater: h or -0.051?
h
Let r = 15 - 39. Let u = r + 5. Let s(j) = -j**2 - 19*j - 1. Let l be s(u). Are l and -11 unequal?
True
Let g = -811 - -861.9. Let k = g - 51. Suppose 2*f = 7*f. Are f and k unequal?
True
Let t be (3 - 2 - 0)*-21. Let p be (-2)/7 + 99/t. Let f = 7 + p. Which is greater: f or 6?
6
Let h = -12 - -13. Let o be (-21 - -24)*(h - (-442)/(-438)). Do -1 and o have the same value?
False
Suppose 3*d = 17 - 5. Suppose 0*u + d*u = -l + 19, 3*l - 4*u = 41. Is l les