q?
m
Let x = 7 + -4. Suppose -x*h - h = p + 125, -2*h = -4. Let l = 667/5 + p. Are 2/3 and l equal?
False
Let p(z) = 5*z + 1. Let k be p(0). Is k greater than 1?
False
Let u be 2 + (34/4)/((-3)/(-12)). Let y = 27 - u. Is y > -6?
False
Let g = -6 + 2. Let j be 6*(3 - (-35)/(-15)). Suppose v - z - 11 = 4*v, -3*v = j*z + 26. Which is smaller: v or g?
g
Let v be 5160/(-2100) + (-8)/7. Let q be 2/(-2)*(-1 - -5). Which is bigger: q or v?
v
Let c = 133/3 - 45. Suppose 4*f - 2*h = 1 + 9, 0 = -4*f + 5*h + 25. Suppose -2*w + 6 = -2*z, -z + f + 1 = w. Is c at least z?
True
Let m(j) = -13*j**3 - 35*j**2 + 5*j - 2. Let i be m(-3). Is i at most 39?
True
Let r be (-66)/(-55)*(-430)/(-4). Which is smaller: 130 or r?
r
Let c(w) = -8*w - 7. Let u be c(16). Let y = u + 133. Suppose -3*f = f + 4. Which is greater: y or f?
f
Let h = 59 + -43. Suppose -11*o + 3*o = -h. Is -10 not equal to o?
True
Let u be -42 + (360/(-5))/(-8). Which is bigger: -38 or u?
u
Let o = 121.64 + -127. Let t = -1834.64 + 1835. Let x = o + t. Which is smaller: x or -0.2?
x
Suppose 2*j + 3*j = 5. Which is bigger: -1/190 or j?
j
Let g(p) = 25*p + 25. Let l be g(2). Which is bigger: 53 or l?
l
Let d = -386399/297 - -1301. Do -1 and d have the same value?
False
Let l = -9/359 + -22895/3231. Let n = 259/36 + l. Is -1 smaller than n?
True
Let z(d) = -d**2 + 4*d + 4. Let w be z(6). Let i = 0.18 - 0.2. Which is bigger: i or w?
i
Let c(o) = -o**3 + 23*o**2 - 16*o - 531. Let j be c(21). Let a be -2*(-31)/((-2)/(-2)). Suppose 3*y = 2*p + 34, 2*y = -y - 5*p + a. Which is greater: j or y?
j
Let t = -2 + -12. Suppose -2*c + 61 = -4*h + 9*h, 0 = 3*c - 2*h - 44. Let g = c + t. Is 5 less than g?
False
Let y be (16 + (-3952)/32)/((-10)/24). Are y and 260 unequal?
True
Let b(w) be the third derivative of -5*w**4/24 + 5*w**3/2 + 8*w**2. Let c be b(5). Are c and -11 nonequal?
True
Let d be (-78)/273 + -86*(-2)/504. Which is greater: 1 or d?
1
Let i = -11/4 + 647/244. Which is greater: i or 0?
0
Let z(k) = 6*k**2 - 6*k + 3*k**3 - 6 - 4*k**3 + 7 + 6. Let t be z(5). Suppose 0*b - 2*b = -4. Is b bigger than t?
False
Let u(f) = f**2 - 8*f - 9. Let k be u(10). Suppose -78 = -8*y + k*y. Let j be 16/104 - (-56)/y. Is 7 at least j?
True
Let w = 1 + -1. Suppose -3*k + 0*k + 6 = w. Let z be (-10)/(-8)*-2*(-52)/143. Is k at most as big as z?
False
Let x(s) = 2*s**3 + 2*s**2 + 3*s + 2. Let r be x(-2). Let f be (0 - 34)*(-6)/r. Which is bigger: f or -18?
f
Let m be 4/(1408/1062) - (-9 - -12). Which is smaller: m or 0?
0
Let x be -2 + -1 - (-22 - 10). Is x less than 272/9?
True
Suppose -8 = 8*a - 0. Which is smaller: a or 1/298?
a
Let h = 91 - 88. Let a = -3.1 + h. Do a and 5.6 have the same value?
False
Let w = -1/3321 + -100/76383. Is w at least as big as 0?
False
Let t = 0.053 - 45.053. Let a = 23 + t. Is a > -0.1?
False
Let w be 84/(-184) + 4/8. Which is greater: w or 5/2?
5/2
Let z be 12/(-8)*(-128)/3. Are z and 64 nonequal?
False
Let y be 75/(-400)*8/102. Let j be (-2)/3*(-3)/(-2). Is j > y?
False
Let t = 2.935 + -0.035. Let r = t - 2.8. Which is greater: r or 2/35?
r
Let l be (-6 - (-11080)/692) + -10. Is l at least as big as -1?
True
Let m be (-1)/(-3 - 136/(-44)). Let n = 26 + m. Suppose h - 3*h = 3*i + n, 0 = 4*h + 4*i + 20. Is h at most 5?
True
Let z = -160 + 153. Which is smaller: -0.15 or z?
z
Let i = 29254/921 - 20123927/652068. Let j = i - 3/236. Is 1 less than j?
False
Let k(v) = -3*v**2 + 6*v - 21. Let u be k(-8). Which is smaller: u or -260?
u
Let j(z) = -7*z - 1. Let b be j(-1). Suppose -4*a + 3*s - 29 = b*s, 2*a = s - 7. Let l(w) = -6*w - 1. Let d be l(1). Are d and a unequal?
True
Let y = -0.503 - -42.803. Let v = y + -43. Which is bigger: v or -2/9?
-2/9
Let w = -1345 - -14810/11. Is w >= 2?
False
Let r be (1 + 5)/(-2 + 0 - -8). Which is smaller: r or 163?
r
Let x be -635 - (-2 - -2)/(23 - 22). Which is smaller: -634 or x?
x
Suppose 3*k = 4*l - 32, 4*k - 2*k + 25 = -l. Let r = 10 + k. Let w be ((-2)/(-33)*-9)/r. Which is smaller: 0 or w?
0
Let w = 56/55 + -1722/935. Is -2 less than w?
True
Let q(u) = -24*u - 840. Let z be q(-35). Is z at least as big as -8/95?
True
Let b be (-146825)/(-588) - (-2)/(-8)*-1. Let h = 250 - b. Which is bigger: 1 or h?
1
Let r = 24 - 8. Suppose 3*i - 5*p - 43 = -3*p, -4*p - 69 = -5*i. Which is smaller: i or r?
r
Let o(c) = -2*c**3 - 14*c**2 - 10*c + 28. Let z be o(-6). Which is bigger: z or 13?
z
Let f = 18 - 15. Suppose f*n + n - 32 = 0. Let q be (-5)/(-20) + 2/n. Which is smaller: 0 or q?
0
Suppose 2*p - 98 = s, -3*s - 252 = -5*p - 4*s. Suppose 155 = 3*u + 5*r, -5*r - 252 = -5*u - 7*r. Is p less than or equal to u?
True
Suppose 9 + 0 = -3*c - w, -c - 3 = -4*w. Let d(f) = 4*f + 160. Let t be d(-41). Which is smaller: t or c?
t
Suppose -1651 + 175 = 4*u. Is -370 greater than u?
False
Let c = 331 - 188. Suppose 4*z + 583 = -4*a + c, -5*a = -z - 110. Let r be 3/(-2) + z/(-68). Is 0 >= r?
False
Suppose 0*x + 186 = 5*l - 3*x, 147 = 4*l - 3*x. Let g = 38 - l. Do g and -3/31 have different values?
True
Let n = -5 + -77. Let t = n + 739/9. Let i = -0.2 - -0.4. Is i greater than t?
True
Let p = 1.9 + -1.8. Let j = -0.153 - -0.073. Is j != p?
True
Let l be 2/(-3) + 6160/2112. Let m = -3 + 4. Which is smaller: m or l?
m
Let q = -640/9 - -81244/1143. Let h = q - -782/635. Suppose -4*g - 16 = 0, 0*l - 3*g - 18 = -3*l. Which is greater: h or l?
l
Let p = -51 + 31. Let t be 2 - (55/p + 4). Suppose 4*o - 5 = -o. Which is smaller: o or t?
t
Suppose 3*g = -2*c - 0*g + 1, -2*c + 8 = -4*g. Let y = -11 - -13. Suppose y*x + i - 19 = -4*i, -12 = -3*x - c*i. Is -3 != x?
True
Suppose -s - 29 + 7 = 0. Which is greater: -15 or s?
-15
Suppose 3*m - m = -2. Let v be ((-2 - m) + 0)*0. Is v not equal to -3?
True
Let s(j) = -j**3 + 6*j**2 + 3*j - 7. Let f be s(6). Let q be -4*((-55)/(-50))/f. Which is bigger: q or 1?
1
Let o = 1887/65 + -144/5. Let a(t) = t - 2. Let p(j) = 2*j**2 + 2*j - 1. Let i be p(1). Let h be a(i). Which is greater: o or h?
h
Suppose -4*u + 336 = -4*m, -7*m = -5*u - 12*m + 420. Let t be (-48)/70 - (-24)/u. Which is smaller: t or 0?
t
Suppose -83*r + 6 = -80*r. Suppose -3*a - 5 = r*a, 3*a = -5*p - 8. Which is greater: 30 or p?
30
Let a = 50 + -34. Suppose d + a = 2*f, 5*f = 4*d + 4*f + 29. Let h be ((-12)/d)/(-1 - 4). Is h greater than or equal to -1?
True
Let t be (-3)/(3 + 0) + -201. Let q = t + 293. Which is greater: 90 or q?
q
Let f be 2 - 567/15 - (11 - 6). Which is smaller: -40 or f?
f
Let f = 455 - 451. Are 6 and f non-equal?
True
Let m be ((-12)/144)/((-96)/9 + 1). Suppose z - f + 4*f = -12, 4*f = -16. Which is smaller: m or z?
z
Let r be ((-12)/40)/((-168)/140). Which is greater: -0.492 or r?
r
Let p = 3656 - 142570/39. Which is greater: 0 or p?
p
Let y(s) = -4*s**2 - 5*s - s**2 + 3 + 2*s - s**3. Let r(f) = f**2 + 6*f - 3. Let l be r(-6). Let w be y(l). Are w and -4 nonequal?
True
Let v(h) = h - 3*h + 7*h**2 - 2 - 2*h**2 + 2*h**2. Let r be v(2). Let f = 33 - r. Which is greater: 10 or f?
f
Suppose h + 8 = 4*c - 3, -2*h - 3*c = -33. Let n be (8 - 7) + h/1. Suppose o + n = 8. Which is smaller: o or -15?
-15
Let t = 236 + -191. Is 44 <= t?
True
Let u = -90 - -59. Let z = -4677 + 4646. Is z at most u?
True
Let w = -1 + 3. Let t = -61 + 91. Suppose 2*l + 2*l - 8 = -4*v, t = 5*l - 5*v. Do w and l have the same value?
False
Let l = 10.945 + 0.055. Which is bigger: -0.6 or l?
l
Let s(p) = -p**3 + p**2 - p - 1. Let d be s(2). Let z = d - -7. Let b be 185/(-180) + 2/(-9). Which is smaller: b or z?
b
Let z be (5/2)/(3/6). Suppose -z*j + 3 = -4*k - 1, 0 = -j. Which is smaller: k or -9/5?
-9/5
Let o = 98.9 + -99. Which is bigger: o or -18.8?
o
Let r be (4 - (-8)/(-8))/(-3). Is -21/19 != r?
True
Suppose -3*j + 51 = 3*m, 3*m = -m - 20. Is 22 smaller than j?
False
Let w(r) = r**3 + 6*r**2 - 7*r + 1. Let h be w(-7). Suppose 4*x + k + 4 = 0, -3*x - 2*k - 4 = x. Let d be ((-1 - x)/1)/(-3). Are h and d unequal?
True
Suppose -5*q - 8 - 9 = -2*t, 4*t - 2*q + 6 = 0. Suppose 0 = 4*f + i - 57, 0 = -f + 2*f + 3*i - 17. Let b be 16/56 - 4/f. Which is bigger: t or b?
b
Let n(o) = 4*o**2 - 2*o + 5. Let k be n(2). Suppose -j + k = -2*t, j - 9 = 5*t - 7*t. Which is smaller: 15 or j?
j
Let z = -1354 - -1333. Which is bigger: z or -83/4?
-83/4
Let z = -55/6 + -25/3. Let y = -17 - z. Is y smaller than 1?