ich is greater: q or 3?
q
Let i = 1196/3 + -402. Let k = i - -3. Let n = 30 + -20. Is k < n?
True
Suppose 20*f + 4*m + 5 = 23*f, 2*f = -m - 4. Which is bigger: f or -9?
f
Let o = 769 - 3075/4. Which is greater: -2/5 or o?
o
Let b(f) = 4*f - 111. Let w be b(-6). Are -132 and w non-equal?
True
Let h(v) = 6*v - 21. Let g(k) = -5*k + 20. Let w(s) = -5*g(s) - 4*h(s). Suppose p - 3*p - 2 = 0, -r - 5*p + 9 = 0. Let l be w(r). Which is smaller: l or -4/5?
l
Suppose -2*s - 348 = 10. Which is smaller: s or -178?
s
Let i = 1543 + -1534.23. Let p = i + -8.7. Is 2/9 not equal to p?
True
Suppose 19*o - 527 - 10588 = 0. Let x be (-29246)/(-10)*3/15. Let a = x - o. Which is greater: a or -1?
a
Let r be (-4)/18 + (-32)/(-144). Suppose -5*w + 30 = 2*i - r*w, 0 = -4*i - 4*w + 48. Which is greater: 0 or i?
i
Suppose 4*v - 14 = -2*x - 2, 0 = x - 2. Let r = -809 - -810. Let j be (-6)/16*v/r. Which is bigger: j or 0?
0
Let q = -88 - -88.14. Let y = -0.44 + q. Which is smaller: -6 or y?
-6
Suppose 0 = 2*i - 4*i + 16. Let s = 380 + -379.8. Is i >= s?
True
Let d(j) = 2*j**2 - 3. Let f be d(2). Let x be (-2989)/(-1862) + (1 - f/2). Are x and -2/5 nonequal?
True
Let v = 2.15 - 0.15. Let i be (4/(-5))/((-14)/525). Let l be 8/i + 28/70. Which is bigger: l or v?
v
Let f be (-984)/(-72) + -1*4/(-3). Suppose 14 = -f*k + 8*k. Let n be (-1)/(-5)*(-25)/6. Is k > n?
False
Let n be 16/123*261/(-174). Is 0 at most as big as n?
False
Let g = -3865 + 65863/17. Is 8 less than g?
True
Let a be 6*(-5)/4*504/54. Which is greater: a or -348/5?
-348/5
Let t = -17 + 25. Let j(u) = u**2 + 5*u - 1. Let x be j(-3). Let l = x + 15. Is t less than l?
False
Suppose -5*w - 4 = 6, i + 4*w + 14 = 0. Is i at least -8?
True
Let l = 101.1 + -97. Let t = 82 + -83.1. Let x = l + t. Is 0 at most as big as x?
True
Suppose 0 = 9*m + 32 - 14. Is -2 smaller than m?
False
Let n = 20 - 16. Suppose i + 3*i = -3*p - 29, 5 = 5*p - n*i. Let s be (-2)/p*-6 + 3. Is -1/2 < s?
False
Let b = -40 + 42. Suppose 5*g + 15 - 1 = 3*n, -g - b*n = 8. Is -8 < g?
True
Let m be (-417)/(-1956)*14 + 6/(-2). Is m bigger than -1?
True
Suppose 4*h = 5*w + 160, 0 = 2*w + 2*w + 16. Suppose 3*t - 2*n + 59 = -89, -5*t - 5*n = 255. Let r = t + h. Do -15 and r have the same value?
True
Let f = 4 + -3. Let l be 5 + ((-56)/(-54) - 6). Is l != f?
True
Let a(t) = -4*t - 139. Let o be a(-37). Which is smaller: 11 or o?
o
Suppose 1 = j - 4*u, -2*j + 3*j = u + 13. Let z = 15 - j. Which is smaller: -6/7 or z?
z
Suppose 4*j + 6 = 46. Suppose -5*s = 3*i - 2*i - 24, 0 = -5*i + s - j. Which is greater: 0 or i?
0
Let t = -11.98 + -642.02. Is 1 >= t?
True
Let n be (1 - -4) + (-9)/(-3). Let h be 103/(-36) + (-2)/n. Which is smaller: h or -2?
h
Let l(q) = 3*q**3 + 12*q**2 - 13*q + 9. Let m be l(-5). Let c be (74/6)/((-8)/24). Is c at most as big as m?
True
Let f(q) = q**2 - 3*q - 22. Let h be f(10). Let t = h - -9. Which is bigger: 58 or t?
58
Let g = 0.9 + 9.1. Let o = 10.7 - g. Let d = o - 4.7. Which is smaller: 0.1 or d?
d
Suppose -z - 2 - 2 = 0, -x - 3*z = 3. Suppose 5*j = -x + 59. Suppose -j = u - 11. Is 1 greater than or equal to u?
True
Suppose 0 = 3*v + 2*v + 35. Let d = v - -9. Let y be d/((16/4)/(-8)). Which is greater: -5 or y?
y
Suppose -2*l + 17 - 17 = 0. Suppose l = 2*b + 3*b + 30. Which is smaller: 2 or b?
b
Let j be (-2 + 75)/(5/50). Let o be (-448)/j - (-15)/75. Let y = 1/73 + o. Which is smaller: 8/3 or y?
y
Suppose c = -j - c + 4, 0 = 4*c - 4. Suppose 2*u + j*u - 36 = 0. Suppose 16 - u = -s. Which is smaller: s or -9?
-9
Let n = 30/43 - 2058/731. Which is smaller: -1 or n?
n
Let v = -692 - -1309. Are v and 617 unequal?
False
Suppose 5*r - 3*k + 127 = 0, -2*k + 33 = -4*r - 69. Let a be 4/24 - r/(-12). Let c be (-2 - -3)/((-1)/a). Which is smaller: -1 or c?
-1
Let l be (-4)/(-3)*75/20. Suppose 0 = l*n + 12 - 17. Let z = -182 + 4185/23. Which is smaller: n or z?
z
Let s = 1189 - 639. Which is greater: 1 or s?
s
Suppose -m - 19 = 126. Let j = m + 150. Is 4 < j?
True
Let o be -5 + 3 + 3 + -2. Let p be (o - -3 - 4) + 1. Let k be (-126)/(-268) + 8/(-16). Is p at least k?
False
Let h = -1 - 2. Let i = -3 - h. Let p = -169/56 + 7/8. Do p and i have different values?
True
Let p = -2452 - -2417. Which is bigger: -44 or p?
p
Let b be (-1 + 3 - 1)/(1/128). Suppose -3*t = -2*u + t - b, -5*u - 4*t = 306. Is u greater than or equal to -61?
False
Let l be -26*(-12)/64*-28. Is -136 smaller than l?
False
Let z = 2648 - 2783.3. Which is greater: z or 0.1?
0.1
Suppose 0 = 4*i - 7*i + 3*t - 27, 26 = -3*i + 4*t. Do i and -13 have the same value?
False
Let w be 1887/15 + 3/15. Is 128 less than or equal to w?
False
Let c be (-90)/(-50)*2/(-10). Which is bigger: c or 1?
1
Let j(c) = -4*c**3 + 3*c**2 + 4*c - 1. Let o be j(-2). Let p = 28 - o. Is -48/7 bigger than p?
True
Suppose 0 = -c - 2*c. Suppose 5*t + c*t = 20. Suppose 0 = -w + 3*p + 10, p + 0*p - 4 = t*w. Which is bigger: -1 or w?
-1
Let d = -8228/259 - -222/7. Is 1 < d?
False
Suppose 0*t + 2*t = -3*r + 10, -4*r + 2*t - 10 = 0. Suppose 7*x = 309 + 90. Let m = x + -54. Which is smaller: m or r?
r
Suppose 2*i + 8 = i + 3*p, -i - 3*p - 2 = 0. Let r be 0 + 12 + i + (2 - -2). Is 6 greater than or equal to r?
False
Let c = 69 - 81. Let v(z) = z**2 + 11*z - 18. Let j be v(c). Which is bigger: j or -9/2?
-9/2
Let m be (-8)/(-36)*6/(-4). Let b = -45 - -42.6. Let q = -0.4 - b. Which is smaller: m or q?
m
Let r = -49 + 135. Let m = r + -64. Which is greater: 20 or m?
m
Suppose -5*p = -2*j - 35, -15 = -5*p + 3*j + 15. Let k be 21/(-2)*(-18)/p. Let w be (-4)/14*k/9. Which is smaller: w or -12?
-12
Suppose 2*a + 5*v - 10 = 0, 2*v - 5 = 5*a - 1. Which is smaller: -3/61 or a?
-3/61
Suppose 0 = 3*k - 3. Let f be (2/2)/(k/(-8)). Let p(n) = -n**3 - 8*n**2 - 2. Let u be p(f). Which is greater: u or -1?
-1
Let x = 2 - 1. Suppose -x - 23 = -3*n. Suppose -j + n = 3*j. Does j = 6/7?
False
Let y = -1.183 - -1.026. Is y bigger than 1?
False
Let a = -0.8 + 1.64. Let q = 1.1 - a. Let x = 0.16 - q. Is -8 less than or equal to x?
True
Let g = -1 + 3. Let b = 20 + -2. Let x = -21 + b. Is g bigger than x?
True
Let b be ((-28)/(-164))/(((-5180)/40)/(-37)). Let w = -1.5 - -7.5. Which is greater: w or b?
w
Let k be 6*2*12/(-18). Let h = k - -10. Let o be (-2)/6 - (-10)/3. Does o = h?
False
Suppose -1137 + 33 = 6*f. Let n = -3490/19 - f. Is 0 less than n?
True
Let f(w) = -4*w**2 + 7*w - 2. Let g be f(4). Let t be -1 - (-1)/((-6)/(-236)). Let a = t + g. Does 0 = a?
False
Let s = -66 - -18. Let z be ((-392)/s - 8)/(1/(-16)). Are z and -0.1 non-equal?
True
Suppose -4*i - 5*q - 257 = 0, -3*i - q + 100 = 290. Do -59 and i have different values?
True
Let i be (-21)/(-35) + (-156)/(-15). Which is greater: 37/3 or i?
37/3
Suppose 0 = -30*w - 782 - 9538. Is w < -342?
True
Suppose -3*l + 4*c - 1155 = 0, -2*c + 5*c - 771 = 2*l. Which is greater: -379 or l?
-379
Suppose -31*i = -38*i - 350. Which is bigger: i or -8?
-8
Let t be (-24)/46*(-4 - 1). Let y = t - 1177/460. Which is smaller: -1 or y?
-1
Let v(i) = -i**3 + 15*i**2 - 13*i - 11. Let r be v(14). Suppose -51 = c - 55. Suppose c*b = 12 + 4. Is r >= b?
False
Suppose -2*s - 3*j - 22 = 0, 0 = -3*j + 4*j + 4. Is -44/7 less than or equal to s?
True
Let i(q) = q**3 + 3*q**2 - 4*q + 2. Let a be i(-4). Suppose -11 + 18 = 7*s. Let n be (a/(-19))/(0 + s). Is -1 <= n?
True
Let m = -3849/65 - -591/10. Let g(i) = -i + 1. Let z be g(1). Which is smaller: m or z?
m
Let o = -202/17 + 927/68. Which is bigger: 1 or o?
o
Suppose -255 = -11*l + 8*l. Suppose 0*o = 5*o - 3*r + 85, -5*o = 4*r + l. Which is bigger: o or -16?
-16
Let z = -8444835/484 - -17448. Which is smaller: z or 1?
z
Let x(d) = -d**3 - 15*d**2 - 13*d + 15. Let i be x(-14). Let h be i*11/1*-1. Suppose -4*a + 3*r - 45 = 0, 0 = -2*a - r + 5*r - 20. Which is smaller: h or a?
a
Let z(k) = k**3 - 2*k**2 - 2*k. Let s be z(-2). Let q be ((-4)/s)/(2/30). Let x(i) = -i**2 + 5*i - 4. Let u be x(q). Is 2/5 < u?
False
Let a be (-2)/12*228/171. Is 4.8 less than or equal to a?
False
Let c = 10 + -8. Suppose 3*d - 13 = -k, 5*d + 2*k + c = 22. Suppose p + 9 = -4*t, -p = 2*t + 3*p - d. Which is smaller: -2 or t?
t
Let i = -205 + -210. Is i at most -2/5?
True
Let l be (-53)/(-4) + ((-7)/(-4))/(-7). Let d(a) = -a**2 + 10*a - 12. Let y be d(l). Is y >= -51?
True
Let v = 