e
Let m be (192/160)/((18/40)/(-3)). Suppose 2*i - 4*j + 2*j + 26 = 0, 0 = -j + 4. Which is smaller: m or i?
i
Suppose -33 = -m - 21. Which is bigger: 64/5 or m?
64/5
Suppose -2*c + d = 934, -20 = 3*d + 2*d. Is c at least as big as -470?
True
Let a be (-10)/(-100) + (-22)/20. Which is bigger: -2/97 or a?
-2/97
Let u = 1 - 1. Let b be u + 14*1/(-1). Let q = -21 - b. Which is smaller: -8 or q?
-8
Let x = 186.9 - 186. Which is smaller: -1/15 or x?
-1/15
Let f = 32 - 61. Is -33 less than f?
True
Let j be 1*-3 + (-495)/(-162). Suppose 43 = 4*w + 11. Suppose 0 = 6*d - w + 2. Which is greater: j or d?
d
Let a = 3755887/28 - 134155. Let j = a - -66/7. Which is smaller: j or -7?
-7
Let u(a) = -a - 6. Let b be u(-7). Let n = -2866791/5656 - -3548/7. Let l = n - 1553/50904. Is l <= b?
True
Let q = -139 + 85. Let b = q + 32. Which is smaller: b or -2?
b
Suppose 151 - 559 = 17*p. Does p = -233/10?
False
Suppose -2*w = -0*w + 2. Let j = -110 + 108. Is j equal to w?
False
Let k = -1292 + 1296. Which is bigger: 152/7 or k?
152/7
Let v(y) = y - 4. Let k(w) = -3*w + 17. Let n(p) = 2*k(p) + 9*v(p). Let a be n(-3). Which is greater: a or -2?
-2
Let l be (4/5)/((-12)/(-1570)). Let f = -106 + l. Suppose a = 2*a + t + 6, 0 = 2*a - 3*t - 13. Is a less than or equal to f?
False
Let i(b) = -5*b**2 - 38*b + 5. Let t(h) = -2*h**2 - 13*h + 2. Let d(p) = -3*i(p) + 8*t(p). Let q be d(6). Which is smaller: 23 or q?
23
Suppose 212*g + 484 = -1458 + 246. Let x(l) = -l + 7. Let v be x(4). Which is smaller: g or v?
g
Let a be 98116/(-37)*(-27)/(-108). Suppose -2*g - 3319 = 5*o, -3*g = 2 + 4. Let w = o - a. Which is smaller: w or 1?
w
Suppose 29*n = 47*n + 18. Which is bigger: n or -26/31?
-26/31
Let c = 3.18 - -5.82. Which is greater: c or -1/17?
c
Let r = -469 + 629. Which is greater: r or 158?
r
Let o be 5*(-7)/(70/8). Let f(s) = s**3 + 3*s**2 - 5*s + 1. Let g be f(o). Suppose 0*y - 5*y = -g. Which is smaller: 2/5 or y?
2/5
Let b be 6/10*30/9. Suppose -3*w = b*w. Which is bigger: 1/5 or w?
1/5
Let y be (-1)/3 - 2/3. Let c = 24 - 47. Let k = 30 + c. Which is greater: y or k?
k
Let x(a) = a - 3. Let u be x(6). Let h be (-21)/(-27) + 1/27*6. Is h not equal to u?
True
Suppose 3*h - 13 - 5 = 0. Suppose 2*y + h = -y. Which is smaller: y or 16?
y
Let c = -0.98 + 57.98. Let w = -56.8 + c. Is w greater than or equal to -12?
True
Let h(o) = -55*o**3 - o**2 - 3*o - 2. Let z be h(-1). Let a be ((-2)/z)/(4 + 81/(-15)). Do a and 1 have the same value?
False
Let q(d) = -4*d**2 + 13*d - 9. Let n be q(7). Which is smaller: -116 or n?
-116
Let y(i) = -2*i**2 - 15*i + 13. Suppose k + 16 = -2*j, 3*j + 24 = -0*k + 3*k. Let d be y(j). Is d at least 6?
False
Let u(v) be the second derivative of v**5/20 - v**3/3 + v**2/2 + 4*v. Let c be u(1). Suppose l + q = -l - 24, -3*q = c. Is -11 less than l?
False
Let v(a) = -5*a**3 + 5*a**2 + 4*a. Let r be v(2). Is r at most -7?
True
Let c be (-6)/10*-5 - (-3285)/(-975). Which is bigger: -1 or c?
c
Suppose -4*t = -5*r - 11, t + 4*t = 20. Is 9/35 equal to r?
False
Let w be ((-1)/(-2))/(3/2). Suppose 2 = 2*m - 20*g + 16*g, m = g + 1. Which is bigger: w or m?
m
Suppose 20*a - 560 = 15*a. Let u = 82 - a. Which is bigger: u or -31?
u
Let l be 4*-7 + 2 + (32 - 27). Are -15 and l equal?
False
Let g(l) = 3*l**2 + 8*l + 5. Let z(m) = -4*m**2 - 8*m - 4. Let a(b) = 3*g(b) + 2*z(b). Let u be a(-7). Suppose u = -0*r - 4*r + 24. Is r <= 4?
False
Let n = -3/689 - -4551/95771. Which is bigger: n or 0?
n
Let g(c) = -c**3 + 10*c**2 - 22*c + 7. Let s be g(6). Which is smaller: s or 35/2?
35/2
Suppose 0 = 5*u - 10 - 30. Let v be (1/4*(u - 2))/3. Is v at least -0.01?
True
Suppose -2*r + 4*z - 4 = 2*r, 3*r = -2*z - 8. Let v = -1 - r. Let i = 2/9 - 19/45. Which is greater: i or v?
v
Let k = 87 - 90. Let a be -5*((-24)/(-15) - 2). Suppose -5 = a*y + 2*y - 3*x, -x = 5. Which is bigger: y or k?
k
Let g be -58*(-3 - 27/(-18)). Is 87 less than or equal to g?
True
Let z(g) = -g**3 - g**2 + 1. Let x be z(0). Let c be (-21)/2*(-6 + 4). Suppose 0 = -2*w - 5*l + 3 + c, -26 = -5*w - 4*l. Which is smaller: x or w?
x
Let z = -32.16 - -1.16. Let k = z + 30.94. Let i = 48/13 - 214/65. Which is smaller: i or k?
k
Let g(i) = -i**2 - 16*i - 4. Let r be g(-7). Suppose 106*q = 210*q - 103*q - 58. Which is greater: r or q?
r
Let g = -0.1 - -0.2. Let s = -1467/5 + 294. Are g and s unequal?
True
Let r = 1.9 - 26.9. Let l = -25.07 - r. Is l smaller than 1?
True
Suppose 2*g + 10 = 30. Suppose 7*u + 136 - g = 0. Is -116/7 smaller than u?
False
Let x be -8 + (486/70 - -1). Let g = 10 + -11. Which is smaller: x or g?
g
Let p(b) = b**3 + 5*b**2 - 6*b - 3. Let g be p(-6). Let c be (17/51)/(5/3). Is g not equal to c?
True
Let m = 1663 - 1670. Are m and -26 unequal?
True
Let n(g) = g**2 - 13*g - 11. Let t be n(14). Let a(o) = -o + 2. Let m = -4 - -4. Let q be a(m). Which is smaller: t or q?
q
Let f be 9/12*2/(-45)*129. Does f = -3?
False
Suppose 3*y + 0 = 4*h + 10, 5*h = 5*y - 15. Let u be (-2 + 3)*-4 + (-23382)/360. Let a = u - -69. Which is greater: h or a?
a
Suppose 1 = g + 2*v, -3 = g - 2*v + 4. Let m be (-5)/7 + (-2)/g. Is 1 at least as big as m?
True
Let t be (2205/580)/9 + (-2)/8. Which is smaller: 0 or t?
0
Let w(t) = -2*t - 9. Let n be w(-9). Let x be 6/9*(0 + n). Suppose -5*y + 46 = 11. Are y and x non-equal?
True
Let o = -1.38 + 1.97. Let t = 7.59 - o. Which is greater: t or -3/2?
t
Let m be 2/14 - 6/21. Which is bigger: 0.2 or m?
0.2
Let i = -255 - -245. Which is smaller: i or 3?
i
Suppose 0 = -3*b + 5 + 31. Suppose -2*i = 2*o + b, -2*o + 1 = -i - 2. Which is bigger: o or -6/79?
-6/79
Let m(d) = -2*d. Let b be m(-2). Suppose -15 = -b*k - 3. Suppose 0 = -a - 3*a + 4. Which is bigger: a or k?
k
Let w be (7/126)/((-107)/2). Which is smaller: 0 or w?
w
Let y(l) = l**3 + 12*l**2 + 17*l - 29. Let g be y(-10). Is g less than 1/12?
False
Let i be ((-4)/2 - -2)/(-2). Suppose 9 = 2*j + 3*j + 3*p, i = -2*j + 5*p - 15. Suppose 3*g - 12 = -o, j = -g - 2*g + 12. Which is smaller: 1/10 or o?
o
Let x = 1649/6 - 277. Let v = -104 - -103. Is v != x?
True
Let x = 2/4027 - -7768/575861. Let q(l) = l**3 - 15*l**2 - 1. Let o be q(15). Is o > x?
False
Let d = 27/223 + 116021/1338. Let n = -87 + d. Let r be (-10 + 40/4)/8. Is r <= n?
False
Let c be -2 - (-2 + (-23)/3). Suppose 0 = -u - u + 32. Let w be 15/(-30)*(2 - u). Which is smaller: c or w?
w
Let b = -1054/13 + 81. Is -4 < b?
True
Suppose -61*c = -57*c + 4740. Let w = -30815/26 - c. Which is smaller: 1 or w?
w
Let v = 37 + -35. Suppose 3*d = -v - 13. Which is smaller: d or -6?
-6
Let l be 22851/306 - 3/(-1). Let w = -155/2 + l. Which is smaller: -1 or w?
-1
Let f = -244339/193 - -1266. Which is greater: 1 or f?
1
Let k = 279/976 + -6/61. Let i be (1/2)/(2/60). Suppose 3*v - 3*s - i = -8*s, -v + 9 = 3*s. Are k and v unequal?
True
Suppose 0 = -2*g - 4*c + 36, 3*g - 2*g - 18 = -5*c. Let q be ((-3)/g)/(15/12). Let v be 15/(-6)*(-20)/175. Is v greater than q?
True
Let w(z) = -z + 3. Let y be -4 + 2 + (5 - 2). Let q be w(y). Suppose 0 = q*n - 10 + 4. Which is bigger: -2 or n?
n
Let p be (-26)/(-325)*((-114)/(-174) - 1). Which is greater: 0 or p?
0
Let l be (-5)/1*(96/(-20))/(-6). Let y(f) = f + 7. Let d(c) = -c - 8. Let i be d(0). Let u be y(i). Which is smaller: l or u?
l
Suppose 3*u + u - 8 = 0. Suppose 4*t = -1 + 1. Suppose t = -2*h - u*h - 4. Is h > -7?
True
Let r = -1856.018 + 1850. Let k = r + 0.018. Which is smaller: k or 3/2?
k
Let o = -11/3 + 115/33. Which is smaller: o or 5?
o
Suppose 5*c + 285 = 3*l, 0 = 2*c - l - 2*l + 123. Let k = 56 + c. Which is greater: 12/11 or k?
k
Let a be (-4)/(-94)*12/(-16). Let q = a + 209/658. Is q bigger than -1.2?
True
Let k be (38/(-6) - (1 + 2))*-3. Let h = k + -23. Let c(o) = o**3 + 5*o**2 + 2*o - 3. Let s be c(-4). Is s < h?
False
Let x be ((-2)/(-3))/((-8)/(-132)). Suppose -8 = -x*b + 7*b. Which is greater: b or 5/9?
b
Let b be 4/1002*(-57)/(-133). Which is bigger: b or 1?
1
Let x = 20 - 45. Let v = -26.8 - x. Let r = v + 2.2. Do r and 2/13 have the same value?
False
Let i be ((-3 + 8)/(-5))/(1771/(-14)). Which is greater: i or 0?
i
Suppose f - 2*o - 12 = 0, 0 = 3*o + 1 - 16. Suppose 21*m = f*m + 23. Is -22 bigger than m?
True
Let d = -19.97 + 20. Suppose r + 3*r + 336 = 0. Let u = r + 250/3. Are d and u non-equal?
True
Let w 