t u be 1*(q/(-1476))/(2/8). Which is greater: u or -1?
u
Suppose 2*t - 248 = 4*l, 3*t - 180 = 3*l - 0*t. Let f = 297/5 + l. Which is greater: f or -4?
-4
Suppose -3*k - 13 + 7 = 0. Is -5 equal to k?
False
Suppose -9*c = -14 - 166. Which is smaller: c or 7?
7
Let g = 39.69 - 40. Let i = g + 0.3. Let l = 0.01 + i. Do l and -0.3 have different values?
True
Let k be (128/160)/(1/(-155)) - 0. Are -126 and k unequal?
True
Let a = -14 - -14. Which is greater: 0.076 or a?
0.076
Let l be 45/(-6)*12/5. Let g = l - -17. Let h be 2/((-6)/3)*g. Do 7 and h have different values?
True
Let v = 157 - 137.85. Let w = v - 19. Let d = -0.25 - w. Is -0.2 >= d?
True
Let y be 5184/198 - 4/22. Suppose -3*f = -19 - y. Let c be (-4)/2 + -16 + f. Is c equal to -2?
False
Let s be (-6 + 0/(6/2))/1. Let k be (3 - (-15)/s)/(7/(-518)). Are -36 and k non-equal?
True
Let t(c) = -c**2 - 7*c + 14. Let s be t(-8). Let y be (-6)/(-15)*s/(-4). Are 0 and y non-equal?
True
Let z = 0.9 + 0.1. Let w = 0.41 + 0.08. Let q = -0.51 - w. Which is smaller: z or q?
q
Let c = 11/14 + 5/7. Let n = -6.9 + 7. Is c < n?
False
Suppose r + 4 = 3*r. Let c be -1*0/3 + r. Suppose -c*q = -5*q. Which is smaller: -4 or q?
-4
Suppose 119 = -5*k - 206. Is k greater than -65?
False
Let l be (11 - (-63)/(-14))*-62. Is l at least -403?
True
Suppose 0 = 2*v - v - 3, -c + 4 = 2*v. Let z be c*(-7)/(-2464) - (-4)/(-22). Which is smaller: 1 or z?
z
Let x(q) = q**3 + 16*q**2 + 2. Let s be x(-16). Let w = -5 + s. Let j = 3 - 5. Which is greater: j or w?
j
Let r = -987 + 1024. Is 32 equal to r?
False
Let j = 1/11 - -6/55. Suppose -4*v - 4*t + 4 = -6*t, v + t = 1. Which is greater: j or v?
v
Let x = -44 - -50. Suppose -x*o = 8 - 14. Is 1 at least as big as o?
True
Let j = 39216/23 - 1705. Let b be (2/6)/(1/3). Is b less than or equal to j?
False
Let k be (-69)/20 + ((-20)/(-8) - -1). Are 2/15 and k non-equal?
True
Suppose 4*t - h - 21 = 0, -3*h - 4 - 5 = -3*t. Let f be 3/12 + (-6 - (-45)/12). Is t less than f?
False
Let n = -38 + 38.36. Let y = n + -0.46. Which is greater: y or -0.04?
-0.04
Let d = -27 - -23.4. Let i = -3.4 + -0.2. Let a = d - i. Which is smaller: 21 or a?
a
Let v be ((-31)/(-5))/(5/25). Is 63/2 at most as big as v?
False
Suppose 26*j + 21 = 23*j. Let d(c) = -4*c - 24. Let n be d(j). Let a(o) = 5*o - 5. Let s be a(2). Which is bigger: n or s?
s
Let l = 499 - 560. Let j = 37 + -97. Do l and j have different values?
True
Let h = 20 - 18. Let v(s) = s**2 - 2*s + 4. Let w be v(3). Suppose -f - h*u - w = 0, -f + 3*f + 16 = -5*u. Is f less than or equal to -4?
False
Let z = 2 - 35. Let g be -6 - -8 - z/(-3). Which is greater: g or -11?
g
Let g = -22.03 - -22. Let t = g + -0.97. Let p be -4 - ((-69)/11 + 2). Which is smaller: t or p?
t
Let t be (106/(-6))/(41/246). Is t at most -108?
False
Suppose 3*g = 2*g + 4*k - 64, -5*k + 185 = -3*g. Let c be (-615)/g + (-6)/(-8). Is c less than 21/2?
False
Let v(j) = -2*j. Let y be v(-2). Let g be 8/10 - 198/(-55). Which is greater: g or y?
g
Let s = 12903/2 + -6451. Let z be 26/28 + (-1)/1. Is z at most as big as s?
True
Let y be 28/5*35/14. Let w(t) = t - 6. Let l be w(y). Is l at most as big as 7?
False
Let p = 3719/25133 - 1/613. Suppose 27*z - 39*z = 12. Which is bigger: z or p?
p
Let h be 1362/16*2/(-15). Let r = 53/5 + h. Which is greater: -1 or r?
r
Let h(s) = -3*s**3 - 2*s**2 + 2*s + 3. Let c be h(-2). Let p = -4 + c. Is p at least 11?
True
Suppose 114*k - 112*k - 2*q - 26 = 0, k + 4*q = 8. Which is greater: -2 or k?
k
Let v(n) = n**3 - 7*n**2 - 4*n - 2. Let a be v(8). Let g be 4/(-2)*(-5)/a. Which is greater: g or 6/11?
6/11
Let t = -2.4013 - 0.5517. Let g = 0.047 - t. Are 4 and g unequal?
True
Let w = -8 + 8.9. Let h = w - -1.1. Let j = -123 + 617/5. Which is smaller: h or j?
j
Let y = 2 - 3. Let x be -1 + 3 + 12/(-4). Let p = 4/3 + x. Which is smaller: y or p?
y
Let i be ((-4)/5)/(7/210). Let l be i*(27/(-6) + 4). Suppose -2*u + l = -6*u. Are -3 and u nonequal?
False
Let d(s) = -2*s**2 - 5*s + 3 - 20*s**3 - 7*s + 22*s**3 + 5*s. Let k be d(2). Is k < 2?
True
Suppose -2*w + 4 + 0 = 0. Suppose 0 = -3*n + 3*o - 6, 3*n - 3*o = -w*o + 2. Let p be 0 + 0 + -3 + n. Is p >= 1?
False
Suppose -3*j + 2*d = -59, -86 - 10 = -5*j + d. Let r = j - 16. Let z be (-1 - -3)/(12/26). Is r smaller than z?
True
Suppose z - 26 = k, 5*z = 2*k - 3*k + 4. Let w be (k - -21) + 1*-2. Which is greater: w or -20/9?
w
Suppose -4*h + x = -64, 0 = 3*h + 5*x - 41 - 30. Suppose 5*f = -4*z + h, 0*f = -5*f - z + 8. Is 5/6 < f?
True
Let f = -3099/7 + 443. Which is bigger: f or -0.1?
f
Let z = 68.4 + -62.4. Is -3/17 <= z?
True
Let v be (-97)/(-11) - 36/(-198). Suppose 4 = 5*i + v. Is i at least 1/3?
False
Let t = 24 - 22. Let o be 2/7 + (-27)/21 + t. Let f be 0/2*(-4)/4. Does f = o?
False
Let n(q) = -2*q**2 + 26*q - 73. Let b be n(4). Let a be 13/(-10) + (2 - 1). Which is greater: a or b?
a
Let w = 2411 - 2389. Which is bigger: 23 or w?
23
Let d be 2 + (5 - 765/110). Is -3 at least as big as d?
False
Suppose 4*x + 8 = 5*g, 2*x + 2 = -5*g - 2. Let z = -5331/14 + 381. Which is greater: g or z?
z
Suppose 8*g = -126 + 30. Let i be 15/g*(-8)/2. Let m(f) = f**3 - 4*f**2 - 6*f - 7. Let x be m(i). Is -12 greater than or equal to x?
True
Suppose -5*t - 17*t = 3520. Is -160 at most as big as t?
True
Suppose -5*t - v + 2*v = -68, t = -5*v + 24. Let h be (-88)/(-14) + (-4)/t. Let y = 13 - h. Is y > 7?
False
Let p(u) = u**3 - 6*u**2 + 9*u. Let a be p(4). Suppose -5*n + 3*o + o = -26, -a*o = 2*n + 12. Which is smaller: 1 or n?
1
Let i = 251 + -262. Is i <= 0?
True
Let p be (-6)/(-21) + 10*4/(-630). Which is smaller: 114 or p?
p
Suppose -2*g - 574 = -2*t, 614 = -5*g - 2*t - 828. Let q = g + 875/3. Which is bigger: 4 or q?
4
Let l = 0.25 + 0. Let f = 0.35 - l. Which is smaller: 1/8 or f?
f
Suppose 19*n - 102 = 2*n. Suppose b - 15 = -4*b. Are n and b equal?
False
Let t = 0.588 + 0.152. Let d = 0.23 - 0.59. Let s = d - t. Is s at least -0.1?
False
Suppose -72*s = -70*s - 134. Suppose -138 = -2*g - 2*a + 3*a, 4*g - 3*a - 280 = 0. Is g less than s?
False
Suppose -4*n = 7 + 5, 9 = 3*c - 3*n. Let g = -7/192 - -659/4032. Let b = -26/21 + g. Which is bigger: b or c?
c
Let k = -4 - -5. Let b be (k/7)/(2/4). Which is greater: -1 or b?
b
Let u(l) = 3*l**2 + 31*l - 25. Let f be u(-12). Which is greater: f or 34?
f
Let x = -18 - -56/3. Let m be 7 + (4/(-18))/((-46)/(-690)). Are m and x equal?
False
Let z = 83 + -127. Let c = z - -28.5. Is 0.1 > c?
True
Let g be (-1)/(-4*1/(-228)). Let v = g + 64. Which is greater: 25/4 or v?
v
Suppose 2*f = 3*f + 2. Let a = -70.1 - -70. Which is smaller: f or a?
f
Let j be (-16)/32*(-3 - 1). Suppose 0 = -4*f + 4*i, 0*f - j = f + i. Is 1/23 at most as big as f?
False
Let n = 26 - 25. Let c(x) = -8*x**2 + 3*x - 1. Let s be c(n). Let g be (-1 + -1)/((-4)/(-10)). Which is smaller: g or s?
s
Let l = 54/3767 - -791119/4463895. Let x = -2/237 - l. Which is greater: 0 or x?
0
Let l be (-46)/((-28)/78*654). Let j = l + 2/109. Which is smaller: 0 or j?
0
Let o = -113 + 76. Are o and -255/7 unequal?
True
Let x be (-41)/(-6) + 28/(-4). Which is smaller: 0.02 or x?
x
Let u(p) = p**2 - 26*p - 21. Let i be u(27). Let c be -10*(0 + -1 + 2). Let r be (1/i)/((-5)/c). Which is smaller: r or 0?
0
Suppose -7*z = -2*z + 195. Let p = -38 - z. Is p at least as big as 1/52?
True
Let m = -3645 - -2442. Let c be m/(-15) + (-5)/((-25)/4). Which is greater: c or 82?
82
Let p be 18/(-45) - (-44)/10. Suppose p*v + 2 = 5*v. Suppose v*s + 5*y = -0*y + 6, 0 = 4*y - 8. Are 0 and s equal?
False
Suppose 3*k + 16 = 7. Let v be k/(-6) + 39/6. Let n(x) = -x**3 + 5*x**2 + 6*x + 8. Let q be n(6). Is v >= q?
False
Let o = -85 - -85. Let m(k) = k + 12. Let l be m(-10). Let w be 6/2 - 0 - l. Which is bigger: w or o?
w
Let j be 3 + (-222)/126 + 4/(-7). Let f = -12 - -22. Let v = f - 10.14. Which is smaller: j or v?
v
Let j be ((-51 + 9)/14)/((-4)/(-77)). Which is smaller: j or -58?
-58
Suppose -3*n = -4*n + 31. Suppose 11 = 5*f - 4, 157 = 5*c + 4*f. Which is bigger: c or n?
n
Let l = 6 + 11. Suppose 4*n + 2*g - l = 5, 5*n - 4*g - 34 = 0. Let h be n/(-33) - 4/(-22). Which is smaller: h or -2/9?
-2/9
Suppose 2*g = 5*i - 23, 2*i + g + 2*g = -6. Suppose 2*r = 3*x + 5*r - i, x + 5 = 5*r. Are x and 3/88 equal?
False
Suppose 12*r - 152 = -12