+ 23 = -y + 3*w. Suppose c + 0*v + 10 = -3*v, y*c - 2*v - 4 = 0. Which is smaller: c or 3?
c
Let s be -1245*(138/30 - 5). Suppose -10*u + s + 112 = 0. Is 59 at most as big as u?
True
Let u = -17.2 + 17.4. Let k be (-3)/1*(-1)/(-2). Which is bigger: u or k?
u
Let q = 5 + -2. Let d = -28582/9 - -3180. Does q = d?
False
Let b = 24113/10 - 2408. Is b greater than 4?
False
Let q = -0.9 - 1.6. Let k = 0.5 + q. Let z = 9 + -1. Which is bigger: k or z?
z
Let v = 67 + -27. Let u be 10/(-4)*(-144)/v. Do u and 9 have the same value?
True
Let a(f) = 14*f - 167. Let k be a(-19). Which is smaller: -434 or k?
-434
Let q be -5 - ((-1528)/(-770) + -6) - -1. Which is greater: q or 1?
1
Let p be (-12)/24 - (-3805)/2*1. Is 1901 not equal to p?
True
Let k = -2/93 - 13291/372. Which is greater: -37 or k?
k
Let t = 47 + -13. Suppose 5*x = -4*i - 0*x + 14, -5*i = -2*x - t. Let h(v) = -v**2 + 5*v + 2. Let u be h(3). Which is greater: i or u?
u
Let o = 9 - -18. Let w = 27.6 - o. Which is bigger: w or 1?
1
Suppose 2*x + 490 = -4*o, -o - 4*x - 29 = 111. Let n be 8/o - (-2)/3. Is n greater than 0?
True
Suppose -2*v + 0*v - 198 = -2*p, 0 = 5*v + 5*p + 475. Let l = v + 666/7. Which is smaller: l or -1?
l
Let d be ((16/226)/(-10 - -28))/2. Which is bigger: -1 or d?
d
Let b = 16 - 13. Let w = -4 + 10. Is b <= w?
True
Let u = -0.282 + 31.682. Let r = u - 40. Let o = r + 9. Which is bigger: o or 3/4?
3/4
Suppose -2*a + 5*i - 6 = 0, -2*a + 4*i = 6*i - 8. Which is smaller: 27 or a?
a
Suppose 4*j - 94 + 18 = 0. Suppose 5 = -n - j. Let y = n + 23. Which is bigger: y or -4?
y
Let r = -39 + 56. Suppose -12*a + r*a + 210 = 0. Are a and -41 nonequal?
True
Let t(g) = g**2 + 3*g - 3. Let b be t(2). Suppose 0*h = -7*h - b. Which is greater: -4/7 or h?
-4/7
Suppose 4*h + 19 = 3*l, -3*l = -4*l + 4*h + 17. Suppose -26 = w + 5*v, -w + 3 + l = -v. Let x(o) = 3*o + 32. Let k be x(-11). Is k greater than or equal to w?
True
Let f = 6.376 - 6.44. Are -6 and f nonequal?
True
Let n be (-16)/(-10) + (-8)/(-20). Let p(m) = 2*m**3 - 3*m**2 + 2. Let y be p(n). Suppose -4*c + 2*c = -y. Is c at least 8/3?
True
Let p be ((-16)/(-3))/(3/(-9)). Suppose -4*c - 2*v + 37 = -7*v, 0 = 5*c + 4*v - 36. Let n be (-24)/p*c/(-6). Which is smaller: n or -6/7?
n
Suppose 4*p - 2*h = p + 17, p + h - 9 = 0. Suppose -4*z + 14 - 3 = 5*q, 2*z = -3*q + p. Is q equal to 0.7?
False
Suppose y = 41*y + 40. Is y > 2/2543?
False
Let g = -0.148 - 10.812. Let c = g - 0.04. Let s = c + 10. Which is smaller: 0.4 or s?
s
Let y(a) = -16*a - 33. Let o be y(22). Is -385 bigger than o?
False
Let r = -4 - 1. Let m be 105/((-12)/(-32)*-2). Let h = -978/7 - m. Is r at most h?
True
Let k be (-876)/(-15) + 14/(-35). Let t = -23 + k. Let f be (-7)/t + (-16)/45. Is 0 > f?
True
Let a = 63 + -56.9. Is -1 bigger than a?
False
Let l = 87 + -96. Let c(u) = -u - 20. Let w be c(l). Which is smaller: w or -32/3?
w
Suppose 0 = -4*v - 6 + 2. Let j(m) be the second derivative of -m**3/3 + 5*m**2/2 - 5*m. Let s be j(4). Which is smaller: v or s?
s
Let d be ((-2)/10)/(28/(-30)). Let o = 6 + -1. Suppose 15 = -o*g - 5*x, -5*g + 4*x + 7 + 5 = 0. Is g equal to d?
False
Let g = -53 - 259. Is g at least as big as -312?
True
Let u be (-8)/12 + (-264)/(-153). Is u < -0.2?
False
Let l = -2 + 0. Let r be (52/(-6))/(l/3). Let v = 13 - r. Which is bigger: 5/4 or v?
5/4
Let i be (-14)/36 - (-2)/6. Let z be 54/(-5 - -4) + -1. Let m = 55 + z. Are i and m non-equal?
True
Let r be 1/(1935/(-9669)) + (4 - -1). Is r less than or equal to -1?
False
Suppose -4*y + 2*z = 0, -z + 2*z = -y. Let c = -1 + y. Let f = -81/4 + 79/4. Is f < c?
False
Let y = 0.026 - 20.026. Let b = -19.88 - y. Do b and 0.2 have the same value?
False
Let v be ((-9)/210)/((-4 - 1) + (-255)/(-60)). Let h be (2/(-4))/(2/8). Let x = h - -1. Which is bigger: v or x?
v
Suppose 638 - 645 = -7*m. Do -127 and m have different values?
True
Let w = 26124117/254409872 + -613/5968. Let q = -631420813/2216708 - w. Let o = q + 285. Are o and 1 non-equal?
True
Let h be 285/220 - 6/8. Let m = -6 - -4. Is m != h?
True
Let s = 102 + -132. Let u = 25 - 54. Which is bigger: u or s?
u
Let i be 2/5 - 444/(-15). Let z(n) = -6*n**2 + 34*n - 48. Let w be z(3). Are w and i unequal?
True
Let p = 288 - 268. Which is smaller: p or 19?
19
Let i(a) = -15*a + 83. Let x be i(8). Which is bigger: x or 0.07?
0.07
Let y be 1/3 - (-85)/(-3). Let a = -18 - y. Suppose -7 + a = -3*u. Is u less than -3?
False
Let v = 7 + -7.7. Let k = v - 0.3. Let y be 2/(((-23)/(230/20))/(1 + -4)). Which is smaller: k or y?
k
Let r(h) = 12*h - 35. Let n be r(19). Which is smaller: n or 195?
n
Let w be -2*4/8 - 15. Let p = 16 + w. Suppose 5*b - 9*b = p. Which is smaller: -11 or b?
-11
Suppose -5*y = 5*f - 127 - 48, 159 = 5*y - 3*f. Let m = -775 + 809. Is m < y?
False
Suppose 0 = 5*i - 4*i + 24. Let k = 24 + i. Which is bigger: -6/11 or k?
k
Let l = -67 + 32. Let v = -34.93 - l. Is v < -2/7?
False
Let i = 0.1 + -0.2. Let k = 2.31 + -96.31. Let x = k - -96. Is i greater than or equal to x?
False
Let g(n) = -n**2 - 13*n - 5. Let u be g(-7). Let p = 186/5 - u. Let x = 2 + -3. Is x at least p?
False
Suppose 4*t + 2 = 2*k, 3 + 18 = -2*t + 5*k. Suppose -4*b + t*b = -3*g + 2, -g - 3 = 3*b. Is 2/87 less than b?
False
Let h be 6/27 - (-2 + 20/9). Is h >= 8/97?
False
Let b be (-1)/3*(-4)/(-18). Let x = -5/54 + b. Do x and -1 have the same value?
False
Let u = -182 - -203. Is 6 less than u?
True
Let f(c) = -c**2 + 18*c - 33. Let p = -11 + 27. Let q be f(p). Is q at least -10/9?
True
Let o = 173 + -182. Is -11 <= o?
True
Let o = -3 - -6. Are o and 9 non-equal?
True
Let i be 2049/(-5400) - 123/(-328). Is i at least 0.1?
False
Let t be (-244)/(-28) + (-6)/(-21). Suppose 0 = 4*a - 5*n + 2*n + 9, t = a + 3*n. Which is greater: 2/3 or a?
2/3
Let w = 8002617/11 + -726962. Let g = 549 - w. Which is smaller: 1 or g?
g
Suppose 2*a = -o - 8, 3*o + 5*a - 5 = -26. Which is smaller: -19/10 or o?
o
Suppose -3*v = -3, n - 97 + 933 = 4*v. Which is greater: n or -834?
n
Let h(u) = 3*u**2 + 6*u + 2. Let a be h(3). Let w = 43 - a. Let l = -0.3 + 0.2. Is l smaller than w?
False
Let l(w) = w**2 + 11*w + 20. Let z be l(-11). Let b = z - 17. Which is bigger: b or 1?
b
Let p(n) = n - 4*n - 5*n - 2 + 0*n. Let d be p(-1). Let y = 0 - d. Is -5 < y?
False
Suppose -3*c - 3*c = 528. Let m = c - -87. Which is smaller: m or 0?
m
Suppose 6*c - 469 = 311. Let j = c - 178. Is j not equal to -49?
True
Let l be ((3 - 2) + 5)/(-2)*-1. Suppose 0 = -6*g + l*g + 24. Which is greater: g or 9?
9
Let l = -1 + 2. Let j = -1625 + 398123/245. Is l bigger than j?
True
Let a = -723 - -19519/27. Let c(y) = -y**3 + 10*y**2 + 11*y + 3. Let p be c(11). Suppose -5*h = p*w + 1 + 2, 2*w = -5*h - 2. Which is greater: w or a?
a
Let p = -2.2 + 0.2. Let u = 5 + -6. Let t = -1.3 - u. Which is bigger: p or t?
t
Let h = -617 - -615. Which is bigger: 299 or h?
299
Suppose 6 = 6*v + 6. Does 1/142 = v?
False
Suppose -5*b - 4*g + 5*g - 435 = 0, -3*g = -4*b - 348. Which is smaller: -89 or b?
-89
Let i = -847.1 + 847. Let l = -3 + 2. Which is smaller: l or i?
l
Let a be 13/91 - (-450)/(-14). Let w = 31 + a. Which is greater: w or -24?
w
Let s(c) = 2*c**3 - 2*c. Let a be s(-2). Let m = 32.3 - 32.4. Do m and a have different values?
True
Let n be (-6)/4*-8*(-7)/(-3150). Which is smaller: n or 1?
n
Let r(o) = o**3 + 3*o**2 - 12*o - 6. Let f be r(-5). Let l(q) = -q**2 + 4*q - 6. Let b be l(4). Let j = 8 + b. Which is smaller: f or j?
j
Suppose -25 = -2*q - g, -2*q + 5*g = -91 + 36. Suppose -q = -6*w + w. Suppose -3*b + 12 = w*t - 4*t, -t + 20 = 5*b. Is b > 1?
True
Let h = 0 - -3. Let a(p) = -6 - 11*p + 8*p + 6*p. Let i be a(4). Is i != h?
True
Let g(s) = -s**3 + 16*s**2 + 1. Let x be g(16). Which is greater: -22/45 or x?
x
Suppose g = -620 + 621. Is -3/820 equal to g?
False
Let i(b) = 2*b**2 - b + 1. Let v be i(-2). Suppose 0 = j - 14 + v. Suppose l + 9 = 4*h, j*l + 2*h = -l + 54. Is 10 >= l?
False
Let r be (((-204)/(-16))/(-17))/((-918)/1834). Let m be (-1)/(-3)*(-225)/51. Let n = r + m. Which is smaller: -1 or n?
-1
Let k be 35/10 - 1/2. Let l be ((1 - k)/4)/(-1). Let r = -17 - -17. Is r < l?
True
Suppose s - 4*s - 27 = 0. Let n = -5 + 6. Let x be -2*(2 - n - -3). Which is smaller: s or x?
s
Let t be (-19)/((-190)/160) + 8. Which is greater: t