*g + 7. Let z be k(5). Let j = 24529/37 + z. Is j < 0?
True
Let b(d) = -24*d - 21. Let g be b(-3). Suppose 2*t = -t - g. Is -19 < t?
True
Let v(h) = 3*h**2 - 2*h + 16. Let c be v(0). Let o = c + -67/4. Let k be (-1)/(2 + (-2)/2). Are k and o nonequal?
True
Let m be 7 + -5 + 1 + -2. Let o be 11*8/440 + 22/(-10). Are m and o non-equal?
True
Let v = -47 + 43. Let c = 3 - 3. Which is smaller: c or v?
v
Let q = 138 + -91. Do -0.1 and q have the same value?
False
Let l(v) = -4*v**3 + 2. Let d be l(-2). Suppose d + 21 = 5*p. Is 12 at most p?
False
Let m(r) = -2*r**3 - r**2 - 3*r - 1. Let d be m(-1). Suppose 4*l - 2*l - 16 = -a, l - d = 0. Which is smaller: a or 39/4?
39/4
Suppose -4*p = -7*p - 6. Suppose 3*j = 2*j - 20. Let o be j/(-50) + p/5. Are o and 4/9 non-equal?
True
Let w = -19 + 21. Let k be (390/(-14))/5 + w. Let h = k - -146/35. Which is smaller: 0.1 or h?
0.1
Suppose -2*u - 4*r = 24, -3*u - 2*u - r = 87. Let b be (-7)/3 - 12/u. Is b != -3?
True
Let o be (-147)/(-48)*1 - 3. Suppose -2*d - 5*j - 15 = -48, -4*d - 5*j + 41 = 0. Suppose -5*a = -d*a - 1. Is o > a?
False
Let a = -17 - -19. Suppose 6*x - a*x + 18 = 2*v, 2*x = 3*v - 15. Let r(j) = -2*j + 8. Let b be r(6). Which is smaller: x or b?
b
Let a be (-57)/(-2)*(-22)/33. Is a greater than or equal to -16?
False
Suppose 17*m - 23*m - 48 = 0. Let y be -2*1/m + (-240)/64. Which is smaller: -3 or y?
y
Let i = 127 - 339. Is i greater than -211?
False
Let o be 294/2 + -2 - (1 - 5). Let w = o - 148. Which is greater: -24 or w?
w
Suppose 4*l - 19 + 7 = 0, 3*q + 2*l - 12 = 0. Suppose -5*k + 54 + 42 = -2*o, 5*o + 198 = q*k. Which is smaller: o or -37?
o
Let r be (-1)/18*(3 + -4 + -6). Is r smaller than 0?
False
Let h(g) = -3*g - 9. Let d(q) = 3*q + 9. Let b(s) = -4*d(s) - 3*h(s). Let c be b(4). Is -1/2 != c?
True
Let u(q) = 18*q - 3. Let h be u(2). Let d = h - 32. Let b be (-53)/180 - (-1)/4. Is b greater than d?
False
Let t(n) = n**2 - 32*n + 53. Let y be t(30). Is -10 at most as big as y?
True
Let b = -5 - -9. Let x be ((-6)/(-21))/((-1)/(-7)). Let d be (-1)/((2 + x)/b). Which is greater: d or -2/9?
-2/9
Let c be (0 - -3)*(-14)/3. Let f(j) = 12*j + 61. Let o be f(-12). Let v = 70 + o. Is v less than c?
False
Let k(y) = -2*y - 49. Let z be k(-26). Suppose 3*q = 5*a + z, -5*q + 5 = 4*a - 0*q. Which is greater: a or 3/37?
3/37
Let j = 30 + -32. Let i be j - ((-4 - 0) + 1). Is 1 greater than i?
False
Let g(u) = -2*u**2 - u - 3. Let s be g(-4). Let j = s + 215/7. Is j < 1?
True
Let w = -263 + 280. Which is smaller: w or -3?
-3
Let r = -17.9 + 32.7. Let w = -0.2 - r. Let x = w + 15.2. Which is greater: x or 6?
6
Let c be 0 + (-4 - 2) - (-244)/41. Is c greater than -19?
True
Let h be 12*(-100)/6 - (-1 + 3). Which is smaller: -200 or h?
h
Let x = 1/3944 + 691/19720. Which is smaller: -1 or x?
-1
Let w = -375 + 371. Which is greater: w or 10?
10
Suppose 3*a + 12*h - 14*h = 18, 15 = 5*h. Let l be (-116)/(-14) + (-2)/7. Is l less than a?
False
Suppose 3*p = -32*p - 4550. Is p smaller than -132?
False
Let w = -50 - -100. Let h = -57 + w. Which is bigger: -2 or h?
-2
Let f = 0 - -5. Suppose 6*b + 1 = 7. Suppose -5*t = b - 1. Which is bigger: t or f?
f
Let m(w) = w**3 - 3*w**2 - 3*w. Let x(q) = q**3 + 9*q**2 + 9*q + 12. Let f be x(-8). Let g be m(f). Suppose g*k = -k. Is 2 less than k?
False
Let u be -12 + 209/22 + (-47)/(-18). Let n = -98/5 - -20. Which is greater: u or n?
n
Let n(d) = d**3 - 7*d**2 - 12*d + 14. Let l be n(9). Let m = l - 67. Let f be 1/(-7)*(0 - 1). Which is greater: f or m?
m
Suppose -3*d - 9 = 0, -t - 34 = 5*d - 14. Let n be 2*(-8)/(-4) + t. Which is smaller: n or 2/7?
n
Let c = -13/84 - 2/21. Suppose 8*z - 15*z - 693 = 0. Let j = z - -99. Which is greater: j or c?
j
Let v = -14.01 + 14. Let t = -172 + 170. Is t at most as big as v?
True
Let a = -1298 + 1289. Is a at most as big as -7?
True
Let f be (-72)/(1 + 3) - -3. Let v be ((-10)/f)/((-8)/(-42)). Let i be (3 - (-2)/(-1))*5. Is v != i?
True
Let i = -20 - -12. Let j be (-1)/i*(-6)/21. Which is greater: j or 1?
1
Let q = 1030 - 1038. Which is smaller: q or -56?
-56
Suppose -5*m - j - 18 = 34, -2 = j. Let a(v) = v**3 - 2*v**2 - 5*v - 1. Let p be a(4). Suppose 10*g = p*g + 10. Is g greater than m?
False
Let y = 51.035 - 51. Let s = y - -13.965. Which is greater: s or -0.2?
s
Let a = -1602539501/105 + 15265750. Let n = -3469 + a. Let y = 26/105 + n. Which is smaller: y or -1?
-1
Let q = 42 + -35. Let o be 2/q + (-210)/49 + -1. Does o = -4?
False
Suppose 5*c - 2 - 9 = -3*z, 3*c = 2*z - 1. Is -2/957 at most c?
True
Let y = 1308 + -1364. Suppose 3*g - 4*r + 43 + 130 = 0, 2*r - 4 = 0. Are y and g non-equal?
True
Let i(z) = 19*z - 14*z - z**2 - 1 + 5. Let m be i(6). Let w be (m/(-44))/(1/(-36)). Is -2 smaller than w?
True
Let t = 901 + -907. Let b(s) = s**3 - 2*s. Let g be b(2). Let h(o) = o**2 - 4*o - 4. Let d be h(g). Which is smaller: d or t?
t
Let j(w) = -1. Let i(q) = -6*q**2 + 2*q + 2. Let f(k) = i(k) + 3*j(k). Let n be f(6). Let c = 6354/31 + n. Which is smaller: c or -1?
-1
Let v(b) = -3*b - 78. Let j be v(-13). Is -41 not equal to j?
True
Suppose -9 = -7*r + 4*r. Suppose -r*h + 3 = 3*g, 4*g - 7 - 3 = 2*h. Does 1/21 = h?
False
Suppose -36*k + 8153 = -5*k. Which is bigger: 790/3 or k?
790/3
Suppose -t - 8 = -5*t. Suppose -3*l + t = -2*l. Let q = 14 - 9. Which is smaller: l or q?
l
Let z = -83/3 + 27. Let w be (-2)/(-3) - (464/(-12))/2. Let a be -5 + (w/4 - 1). Which is smaller: a or z?
a
Let w be 990/363 - (-6)/22. Are 22 and w equal?
False
Let z(t) = -t**2 + 7*t + 11. Let n be z(8). Suppose 0 = -4*f - f + 20, -18 = -n*x - 3*f. Suppose -x = d + d. Is d <= 2/11?
True
Suppose 0 = -6*r + 2*r. Suppose -3*w - 12 - 6 = r. Let c be (w/(-8))/(33/(-22)). Which is greater: c or 0?
0
Let c = -0.08 + 0.28. Let w = -0.38 - -0.3. Let b = w - -0.08. Which is bigger: c or b?
c
Let b = 20 + -9. Let c = 78 - 79. Do c and b have different values?
True
Let o = -28124 + 2728052/97. Which is smaller: -1 or o?
-1
Let q(z) = 58*z - 339. Let y be q(6). Let n be (-5)/(1 + 3/(-2)). Is n smaller than y?
False
Let y(p) be the second derivative of -p**3 - 15*p**2/2 - 5*p. Let j be y(-6). Which is smaller: j or 20?
20
Suppose 588 - 68 = 10*i. Is 52 not equal to i?
False
Suppose 20 = 2*b - 0. Let g = b - 8. Let s = -29 + 29. Which is greater: g or s?
g
Let d be (150/(-55))/(-5) - 27/(-11). Let s(w) = -2*w**2 - 1. Let v be s(2). Which is smaller: v or d?
v
Let x = -52 - -90. Suppose -5*w - 322 = x. Is w equal to -73?
False
Let b = 5.4 + -5. Let c = -0.068 - -0.248. Let t = 0.02 + c. Do b and t have the same value?
False
Let q be (-21)/14 - 5/(-2). Is q at least as big as -54?
True
Suppose -3*c - 2*t - 29 = 0, -c - t = -6*c - 57. Suppose -4*j - 54 = -142. Suppose -4*s - 22 = j. Is s greater than or equal to c?
True
Suppose -25 = 2*i - 2*o - o, 49 = -4*i + 5*o. Let j be -1 + (i/(-7) - 1). Let q(r) = r**3 - r**2 - r + 1. Let h be q(0). Which is smaller: h or j?
j
Let d(y) = y**2 - 5*y - 7. Let l be d(6). Which is smaller: -2/2747 or l?
l
Let r(n) = -n**3 - 3*n**2 - n - 2. Let i(g) = g**3 - 11*g**2 + 10*g - 3. Let u be i(10). Let d be r(u). Let z be d/(-2) + (-4)/8. Which is smaller: z or -3/4?
z
Suppose -2*y + 8 + 10 = 0. Suppose -f + 3*o - y = 0, -2*o + 24 - 2 = -2*f. Let g = -13 - f. Which is greater: g or 0?
0
Suppose -10*r - 33 + 23 = 0. Do -10/37 and r have different values?
True
Let l = -196 - -241.5. Which is smaller: 0 or l?
0
Let g = 97 - 96. Let u be (-4)/(-184)*12*g. Is 0 smaller than u?
True
Let o = 167 + -172. Is -0.03 greater than or equal to o?
True
Let j(a) = -a - 3. Let w be j(-5). Suppose 2*y + 40 = -w*y. Let x = -11 - y. Is -2/9 <= x?
False
Let l be 13 + 51*(-93)/261. Which is bigger: l or -6?
l
Let i = 922 + -922.02. Let a = 3 + -2.9. Is i < a?
True
Let i be (1 + 1)*1 - 23. Let m(d) = -d**2 - 22*d - 25. Let l be m(i). Let o(t) = t**3 + 4*t**2 + 4*t - 1. Let c be o(-3). Is c < l?
False
Suppose 40 + 50 = -6*l. Let w(n) = n**2 + 12*n - 46. Let q be w(l). Is q less than -29?
False
Let a = 0.76 - -0.24. Suppose 0 = -5*z - 2*c + 56, 3*z - 4 = 3*c + 17. Suppose j + 4 = -4*q - 10, 0 = -5*q - z. Which is bigger: a or j?
a
Let p = 122.23 - 122.2. Which is smaller: p or 24?
p
Let a = -692124/245 - -2825. Is a >= -1?
True
Let t = -21.76 - -22. Let x = t + -0.14. 