ppose -4*g + 4*t + 385 - 49 = 0, 4*t = 0. Which is bigger: 78 or g?
g
Let i = 6945 + -6975. Suppose 8 = 3*x - 4*t, 5*x - 1 + 7 = -3*t. Which is smaller: x or i?
i
Let a = 14.76 + -14.76. Is -712 less than a?
True
Let b = -140 + 37. Let i = b - -180. Is i equal to 78?
False
Suppose 5*x = 6 + 44. Let y = x - 17. Suppose d = -4*d - 40. Is d < y?
True
Let r = 12.1 + -12. Let v = -0.04 + 58.04. Which is smaller: r or v?
r
Suppose 3*f - 5*s + 5 = 0, 5*f - 5*s = -8 + 3. Let w = -3638 + 3600. Which is smaller: f or w?
w
Let t be ((-80)/15)/(143/(-198)). Which is bigger: 7 or t?
t
Let y = 23 + -22. Suppose i + y = -z, -8*i = -3*z - 4*i - 10. Is z less than -2?
False
Let f = 0.23 - -0.07. Let g = 0.38 - f. Let w = 0.02 + g. Which is smaller: 2 or w?
w
Let i be ((-80)/15)/8*-9. Let q be 152/57 - (-2)/i. Are -1 and q equal?
False
Suppose 0 = -4*p + 2 + 2. Let a = -1/61 - -397/1891. Which is bigger: a or p?
p
Let d be (12/2163)/(286/91). Which is greater: 0 or d?
d
Let p be (39/(-6))/((-6)/12). Let n = p + -13. Let k be (0 + 3/6)*n. Is k smaller than -2?
False
Suppose 9 + 4 = 2*h + s, -s - 35 = -4*h. Which is smaller: -3 or h?
-3
Let c = 501 + -501. Is c greater than or equal to -2/65?
True
Let g be ((-467)/(-15) - 1) + (-26)/195. Suppose 0 + g = -5*y + 5*h, -2*h = -6. Is y less than -16/9?
True
Let q be 0 + -3 - 0 - -6. Let g be (-2)/q*15/(-25). Is g != -1/2?
True
Suppose g = 4*s - 19, -4*g - 4*s + 2 = -22. Let k be -10*24/(-3 + 7). Let r be ((-1)/4)/(k/48). Is r at most g?
True
Let p = -6.1 + 6.2. Which is greater: p or 1.38?
1.38
Let k = 12/47 - -58/141. Is k >= -4.5?
True
Let j = -198 + 426. Are 228 and j unequal?
False
Let i = -734 - -631. Is -96 > i?
True
Let r(x) = -x**3 + 7*x**2 + 10*x - 12. Let y be r(8). Suppose -q = -5*f - 3, 0 = f + q + y - 1. Is f smaller than -1?
False
Let s = 351 + -350. Which is smaller: -0.156 or s?
-0.156
Let p be (37/(-28))/((-4)/(-17312)). Let x = p - -5091. Let w = 627 + x. Is -1 bigger than w?
True
Suppose 3*c + 3*g + 119 = c, 4*c - g = -231. Let x be -1*(-4)/c*(-5)/10. Is x equal to 1?
False
Let y = -1185.9635 + 1186. Is 0 > y?
False
Suppose -u + 12 = 1. Suppose 0 = -u*a + 34 - 155. Which is bigger: a or -15?
a
Suppose 8*k = -4929 + 1897. Which is greater: -378 or k?
-378
Let z(v) = -4*v + 10. Let u be z(7). Let d(l) = -l**3 - 2*l**2 - 2*l + 3. Let j be d(2). Which is bigger: u or j?
j
Let i(g) = g**3 - 6*g**2 + 4*g + 3. Let r be i(4). Let a = -94 + 101. Let y(v) = v**3 - 7*v**2 - 5*v + 22. Let x be y(a). Is r at most as big as x?
True
Let l = -11.09 + 11.1. Which is smaller: 0 or l?
0
Let w = -228755/2506 + 639/7. Which is smaller: 0 or w?
0
Let d = 6 + -23. Let l = d + 2. Let y = l - -15.07. Do y and -2/7 have different values?
True
Let j(n) = 9*n + 27. Let c be j(-59). Is -504 less than c?
False
Suppose -6*z - 142 = 944. Is z greater than -181?
False
Let u(k) be the third derivative of -k**4/24 + 5*k**3/6 - 8*k**2. Suppose -2*y + 0*y - 35 = -5*w, -3*w - y + 21 = 0. Let d be u(w). Is 5 >= d?
True
Let i = 3553/8 - 445. Is i less than -1?
False
Let a = -25 + -29. Let j = -28 - a. Let o = 28 - j. Is -2/35 != o?
True
Let h = -3785/9 + 421. Let z be (-1)/(2/(-6)) - 4. Is z at least as big as h?
False
Let g(q) = -q**2 + 12*q. Let c be g(11). Suppose -5*v + 2*v = -4*o + c, -2*v = 2*o - 16. Let f = -8 - o. Are f and -12 nonequal?
True
Let q(p) = p**3 - 76*p**2 + 68*p + 27. Let y be q(75). Is y greater than -497?
False
Let j be (3 - (-26)/(-14))/((-12)/42). Which is smaller: j or -66/25?
j
Suppose 4*k - 6 = g, 2*g + 25 = -2*k - 17. Let z be 27/g*9/2. Which is smaller: z or -8?
-8
Suppose 2*t + 10 = -5*k - 4, 0 = -5*t + 4*k + 31. Suppose 0*n - 4 = 2*n. Is n at most t?
True
Let x = -4671 - -200905/43. Do x and 0 have different values?
True
Let c = 5537/60 + -461/5. Is -1 greater than c?
False
Let i be 2/14 - 468501/231. Is i smaller than -2027?
True
Suppose 4*d - 131 + 7 = 0. Let z = -90 + 122. Are z and d equal?
False
Let i(r) = 2*r - 2. Let s be i(4). Suppose 2*j + 4*f = f + 15, -4*f = -4. Is j less than or equal to s?
True
Suppose 0 = b + 4*b + 4*p - 4, 5 = 2*b + 5*p. Suppose b = 2*l + l + 45. Is l < -13?
True
Let w = 959 + -1919/2. Are w and 0.2 non-equal?
True
Suppose 0 = -7*u + 8*u. Is -4/59 >= u?
False
Let s = -2459 - -2458.9. Do -23/6 and s have different values?
True
Let d be (12/(-10))/(7/35). Let g(r) = -6*r**2 - 5*r + r**3 + 7 + 0*r**3 - 2*r**3 - 2*r**2. Let c be g(-7). Which is greater: d or c?
d
Let p be 12/(-22)*(-105)/3780. Which is smaller: 0.1 or p?
p
Let b = -106433/345540 - -118/1329. Let r = b - 2/65. Let n = 0.3 + -0.2. Which is greater: n or r?
n
Suppose z = -4*z - w + 1, 5*w = 3*z - 23. Suppose -5*q + z = 6. Which is smaller: q or -3/4?
q
Let t = -17 + 8. Let m = t - -9.8. Let v = -2.7 + 1.7. Are v and m equal?
False
Suppose -4*i + 16 = -0*i. Suppose 4*u + s - 3*s - 6 = 0, -i*s = 3*u + 12. Suppose 3*a = -u*a + 18. Which is bigger: a or 5?
a
Let g(k) = k**3 - 12*k**2 + 57*k - 368. Let q be g(10). Let u(l) = -5*l**3 + 3*l**2 + l - 2. Let z be u(2). Which is bigger: z or q?
q
Let c = -2/2271 - -13652/29523. Let p be (5 - 3)*28/8. Suppose 4*j - 11 = -p. Is j greater than c?
True
Let i = 0.98472 - -0.01528. Let z be (-3)/((-9)/(-2))*-1. Which is bigger: z or i?
i
Let k be (63/30 - 2)/(65/(-90)). Is -1 greater than or equal to k?
False
Let c = -453 + 487. Which is smaller: 36 or c?
c
Let a = -1.15 + 1.05. Which is smaller: -296 or a?
-296
Let z = -0.10672 - -47.89672. Let p = 10.77 - z. Let d = p - -37. Which is smaller: d or -1/3?
-1/3
Let z(b) = -26*b**3 - b**2 + b. Let y be z(1). Let v be (y/(-8) - 3)*-6. Is v less than or equal to -3?
False
Let r(w) = -w**3 + 12*w**2 + 12*w + 17. Let c be r(13). Let k(n) = 13*n**3 - 2*n**2 + 2*n + 6. Let s be k(c). Let x be (-8)/44 + 104/s. Are 0 and x non-equal?
True
Let q = -186 + 163. Suppose 21 = -2*k - 21. Is k bigger than q?
True
Suppose 3*s + 46 = s - 2*t, 5*s - t + 85 = 0. Is s bigger than -20?
True
Let b be (-2*7477)/(12/330). Let i = -1517456999/3690 - b. Let z = -3/205 - i. Which is greater: z or 0?
0
Let i = -4 - -6. Suppose 0 = m - 4, 3*d = -d + i*m + 12. Suppose d*s - 2*c + 4 = -6, -s - 10 = -2*c. Which is smaller: s or 1/5?
s
Suppose 4*m - f - 8 - 8 = 0, -2*f - 2 = 2*m. Suppose 12 = -m*t + 7*t - 5*k, 5*k + 10 = 5*t. Let u be (-2)/(-6) - (-116)/(-96). Which is greater: t or u?
u
Let a be (-1)/(-15)*((-700)/(-63))/10. Let y = -3 + 5. Suppose -1 = -3*g + y*g. Is a less than or equal to g?
True
Suppose -11 + 18 = -7*n. Which is bigger: n or 11/57?
11/57
Let q = -186 - -247. Do q and 62 have the same value?
False
Suppose -20006 + 19928 = -3*n. Are n and 24 equal?
False
Let k be (1/(-11))/((-2)/11). Is k at least as big as -248?
True
Suppose -15*m + 19*m - 3*y - 871 = 0, 5*m - 2*y - 1080 = 0. Are 214 and m equal?
True
Let l be -4*(-7 + 3)/2. Suppose 3*u = 4*k - 5, -4*u + l*k = 5*k + 2. Is 3/4 < u?
True
Let f = 0.1 - 15.1. Let c = -16 - f. Let q = 37/69 - -3/23. Which is smaller: c or q?
c
Let o = -464 + 467. Suppose 0 = 3*f + 6, -10 = -3*y - f - 0*f. Is y smaller than o?
False
Suppose 0 = 3*g - 2*g - 7. Let r be 6 + (0 - -4) - 4. Which is smaller: g or r?
r
Suppose 0*l = -5*l + 4*t + 112, -l + 5*t + 35 = 0. Let j = -16 + l. Suppose -1 + j = -3*k. Which is smaller: -2/19 or k?
k
Let k(g) = -g**3 + 7*g**2 - 3*g - 12. Let u be k(6). Let j be u/(-30) - 3/(-15). Which is smaller: -3/16 or j?
-3/16
Suppose -12*n = -4*n - 448. Let f = -57 + n. Is 2 greater than f?
True
Suppose -3*c = -c. Suppose -3*l - 4*f + 10 = 0, 4*l + f + 3*f - 12 = 0. Suppose c = -4*x + l*x. Is 2 >= x?
True
Let f(b) = 2*b + 50. Let c be f(-4). Is c <= 5?
False
Let w = 10.9 + -0.8. Let p = -10 + w. Let v be (-64)/(-176)*2/4. Which is smaller: v or p?
p
Suppose -2*k + 9 = -2*m - 3, 2 = -m. Let o(z) = z**3 - 2*z - 1. Let w be o(2). Let y be k/w - (-4)/6. Is y > 4/7?
True
Let u(i) = -i**3 + 9*i**2 + 2. Let p be u(9). Suppose 0 = 4*o + p + 2. Which is smaller: o or -1/4?
o
Let f = -26.5 + 20. Let p = -8 - f. Is p < 0.2?
True
Let t be (-2)/(-3)*3885/74. Which is smaller: 44 or t?
t
Let x(u) = 4*u**2 + 194*u + 96. Let v be x(-48). Are 5/271 and v nonequal?
True
Let g be (119 - -5)*3/(-6). Is g at least 2?
False
Let y(q) = -q**3 - 11*q**2 + 3*q - 2. Let i be y(-10). Let g = -249/2 - i. Which is small