t most j?
True
Let w = 137644 - 5367832/39. Let i = w + 235/273. Which is bigger: 9 or i?
9
Suppose 0 = 2*j + j + 3*c, -3*c + 2 = 4*j. Let n(q) = 8*q - 13424 + 13430 + 2*q. Let t be n(j). Does 25 = t?
False
Let g be 10/(-20) + (-202)/132 + (-28)/(-14). Are 27 and g nonequal?
True
Let y = -2968 + 2927. Do y and -1 have the same value?
False
Let d(i) = 414 + i**2 - 207 - 207 + 3*i. Let u be d(7). Let v be 298/u - 6/15. Which is smaller: 3 or v?
3
Suppose 3*u - 140 = 5*h, -2*h - 3*u - 2*u - 87 = 0. Let c be 3/9*-3*h. Suppose c = -i + 3*t, -5*t - 1 = -16. Is i greater than -22?
False
Let a = -3.1 + 3. Let k = -143 + 40. Let b = 104.7 + k. Is a >= b?
False
Suppose -50*l + 816 = -86*l + 74760. Is l > 2056?
False
Let k(o) = -o**3 + 3*o**2 - 5*o - 4. Let z be k(5). Let b = -54 - z. Suppose -3*y - 5*l - 7 = -2, 3*y = 5*l - b. Do y and -7 have the same value?
False
Suppose 304*p = 274*p + 80700. Is p less than 2688?
False
Let k = -11306 + 11306. Which is bigger: k or 13/36?
13/36
Suppose -w = w. Let c = -17264 + 17280. Suppose b - 2*j = j + c, -5*b + 4*j + 25 = w. Is -3/80 smaller than b?
True
Suppose 2*r = -5*r + 630. Let x be (-1)/(-2)*420/r. Which is bigger: x or 1?
x
Let i = 470.0384 + -0.0384. Let o = -456 + i. Is 13 > o?
False
Let f = 70.63 - 71. Let x = -0.07 - f. Let s = x - 0.1. Do s and -2/21 have different values?
True
Let q = 20939 - 20938. Are -9/1985 and q nonequal?
True
Let l = 84 - 254/3. Suppose f - 3638*r = -3637*r - 7, -3*r + 51 = -5*f. Which is smaller: f or l?
f
Let i = 2965 - 2965.372. Which is smaller: -3/4 or i?
-3/4
Let q = -805/13 - -105299/1703. Let u = 107/262 - q. Which is smaller: u or -519?
-519
Suppose 2*a - 2 = 0, 26 = 4*i - 2*a - 108. Suppose -3*d + 4*y + i = 2*y, 0 = 3*d + y - 28. Let m = 31372 - 156813/5. Is m < d?
True
Suppose 58*b = 106*b - 190704. Which is smaller: 3972 or b?
3972
Let a = -90.811 + -21.889. Is a less than 5?
True
Suppose 0 = 116*a + 43*a + 159. Which is smaller: a or -3/902?
a
Let p be (3/6)/(3 - (-254)/(-84)). Suppose -7*q - 2 = 117. Let u = q - 5. Which is greater: p or u?
p
Let x = 596 + -341. Let q = 287.9 - x. Let f = 33 - q. Which is smaller: -30 or f?
-30
Let k = -4.5 - -28. Let o = -21 + k. Which is greater: 3 or o?
3
Suppose -190 - 319 = 30*q - 29. Which is greater: q or -200/13?
-200/13
Let z = 0.384 + -250.384. Let c = z - -244. Which is smaller: 12/5 or c?
c
Suppose 0 = -f + 2*y - 11, 0 = -3*f + 49*y - 53*y + 27. Which is smaller: -352 or f?
-352
Let p = -114.9 + 76.29. Let m = -38 - p. Let z = 0.51 - m. Is -0.036 at least as big as z?
True
Let w be 2801/(-12) - (-10)/((-240)/18). Which is smaller: -235 or w?
-235
Let d = 295.3 + -321. Let g = 7.3 - d. Let u = 45 - g. Is 2 greater than u?
False
Suppose 3*x + 12 = -3*n, -166*n + 169*n = 4*x + 65. Do -35/3 and x have the same value?
False
Let i = 60 - 56. Suppose -i*h = 5*t - 41, 0*t + 20 = 4*t. Let o be ((-3)/h)/(3/(-144)). Is o at least 35?
True
Let l(q) = -26*q - 154. Let k be l(-6). Suppose -s - k*t = t, 3*s - 5*t + 28 = 0. Is s less than -20?
False
Let h = 93.25 - 93. Let o = -0.44 + h. Let x = 0.61 - o. Which is bigger: 1 or x?
1
Let b = -61.255 + -2.745. Let s(i) = 8*i - 5. Let g(a) = -7*a + 5. Let l(h) = -7*g(h) - 6*s(h). Let t be l(3). Which is greater: b or t?
t
Suppose -x - 4 + 4 = 0. Let s = -43 - -44. Let o be (-7)/(154/3)*s. Which is bigger: o or x?
x
Suppose 0 = -13*z + 12*z - 21. Let m be z/2*5/(-60). Is m smaller than 2?
True
Let f(m) = -m**3 - 2*m**2 + 24*m + 2. Let a be f(-6). Suppose 0 = -3*n - 5*c + 17, 0 = -5*n - a*c + 4 - 1. Is -4/23 less than n?
False
Suppose -3*z - 70 = -34. Let u = 38 + -138. Let f be (55/u)/(3/z). Which is bigger: f or -0.2?
f
Suppose 5*j - 4*p - 13 = 100, 0 = 4*j - 2*p - 94. Let z be j/3 - (-5)/3. Which is smaller: 21 or z?
z
Let l = -20461 - -42061/2. Let d = l + -569. Let t = -0.9 + -11.1. Which is bigger: t or d?
d
Suppose 0 = 4*v - 0 + 8. Suppose -4*u - 188 = 4*o, -13*o = -9*o - 8. Let d be u/v*(-156)/(-91). Which is smaller: 41 or d?
41
Suppose -86*d - 19*d = -90090. Which is smaller: d or 857?
857
Let g be (-2 - 1)*1 - (-9 - -1). Let a be (-2)/(-4) + 99/18. Suppose 5 = -5*w + a*w. Is g at least w?
True
Let f = -10291 + 10264. Is f bigger than 4?
False
Let p = 35.676 + 45.324. Do 0.3 and p have the same value?
False
Suppose 5*h = 2*h - 141. Suppose 16*n - 18*n = 3*r + 138, 4*r - 5*n + 207 = 0. Which is greater: r or h?
h
Let d = -1173 - -2250. Let c = -1077.934 + d. Let b = c - 0.066. Are -52 and b unequal?
True
Let p be (-13)/(-21) - 68/238. Let x = 16 - 10. Let i = -6.1 + x. Is p less than i?
False
Suppose -264 = -15*m + 9*m. Let v be 462/126 + 4/(-6) + m. Which is greater: v or 48?
48
Let f = -46700 + 46722. Suppose 6*h - 2*h = 80. Is f bigger than h?
True
Suppose -15 = -26*f + 21*f, -2*b = 3*f + 181. Let c = -116 - -21. Is c > b?
False
Let u = 32 - 31. Let y be (u - (-1227)/(-46)) + (-4 - -1). Let z = y - -57/2. Which is smaller: z or 0?
z
Let q(j) = -j + 7. Let n be q(7). Suppose -6 = 2*t - t + 3*h, n = -h - 2. Let k = 240 + -3839/16. Which is bigger: t or k?
k
Let u = -8 - -6. Let x = u + 3. Let v be (-1)/(-4) - (-5880)/1568. Is x at most v?
True
Suppose 15*z - 17*z + 4 = 0. Suppose -k = -5*k - v + 63, k - 14 = -z*v. Which is greater: k or 15?
k
Let c = -157.2 - -158. Let v = -2.3 + 2.23. Are c and v equal?
False
Let f = 3401904609330091 + -174170354988498012871169/51197895. Let l = f - 20/36701. Let s = l - -2/279. Which is smaller: 5/3 or s?
s
Let f = 87.9 + -87.5. Suppose 0 = -2*n + 3*n - 3*l - 14, -l + 4 = 4*n. Suppose -3*u = -25 - n. Is f < u?
True
Let a be (-1)/(4/136) + (-18 - -19). Which is smaller: 28 or a?
a
Let n be 200 - 2*(-4)/8*0. Let h be 12/(-7) + n/35 + -6. Is h smaller than -1?
True
Let d be (-2)/(-6)*(2/(-1) + 1877 + -81). Which is greater: 567 or d?
d
Let t(x) = 155*x + 166. Let f be t(6). Let v be f/2690 + 14/(-35). Does -1 = v?
False
Let y = 3.68 + 11.42. Let r = 15.83 + -0.83. Let t = r - y. Which is smaller: 0.09 or t?
t
Let h be (-279)/(-90)*-1 + (-7 - 0). Is h greater than or equal to -9?
False
Suppose -3*w - 17*j - 54 = -20*j, 2*w + 2*j = -48. Are -259/12 and w non-equal?
True
Suppose 0 = -5*v - 11*v - 48. Let j be ((-1)/3)/(-1 - v/(-27)). Is -4 smaller than j?
True
Suppose 22*j = -1027 + 12159. Is j smaller than 15/2?
False
Let t = 1 - 3. Let y be 284/10 - t/(-5). Let w be ((-3192)/(-147))/(-38) + 62/(-14) + 35. Are y and w nonequal?
True
Let g = 5.437 - -1456.563. Is 2 greater than or equal to g?
False
Let z = 536800/25181 - 3000/149. Which is smaller: 1 or z?
1
Let q = -5.498 - -5.546. Is q smaller than 90?
True
Let v = 3.957 - 3.817. Suppose -15 = -5*g - 5. Which is bigger: v or g?
g
Suppose -5*l + 106 = -3*t - 118, 71 = 2*l + 5*t. Suppose -4*x - 59 = -l. Let v be 9*((-4)/6)/1. Is x at most v?
False
Let g be (-288)/96*3107/3. Is g greater than or equal to -3109?
True
Let n = 5485 - 5494. Let o = -0.385 + -2.545. Let h = 0.07 - o. Which is smaller: h or n?
n
Let u = -6.435 + 6.02. Let r = u + 4.415. Is r greater than 4?
False
Let x = 129 - 122. Suppose 0 = x*n - 3*n + 8. Suppose -4*p + 6 = -5*p. Which is bigger: p or n?
n
Let n = -54.1 - -12.1. Let j = n - -173. Let p = 129 - j. Is 3.8 at most p?
False
Suppose 3*m - 198 = b, 5*m - b - 330 = -6*b. Let c = 71 - m. Suppose -4*q + c*r = -0*r + 38, 2*q + r + 26 = 0. Is -12 at least q?
True
Suppose 18 = -22*q - 4. Which is smaller: -2/3571 or q?
q
Let h = -24.3 - -24.2. Let l(b) = -424*b**3 + 3*b - 4. Let t be l(1). Is h at least as big as t?
True
Suppose 0 = -3*x + 2*i + 11, i + 14 = 5*x - 16. Suppose 749 - 804 = -11*d. Which is bigger: d or x?
x
Let g be 117750/121989 - 4*(-3)/(-14). Which is smaller: g or 2/17?
g
Suppose 0 = -3*n + 4*k + 12, -15*n + 2*k = -10*n - 6. Which is smaller: 15/476 or n?
n
Let w(a) = 16*a - 322. Let b be 31/155 - 198/(-10). Let z be w(b). Is -29/17 bigger than z?
True
Let t = 15753 + -15681. Let d = -10 - -80. Let x be 3 + d - (-1 - -1). Which is smaller: x or t?
t
Let j be ((-5 - 7)*2/8)/1. Is j > -5947?
True
Let l(b) = -b**2 - 24*b - 20. Let d be (84/119)/(-6) - (-389)/(-17). Let i be l(d). Is i >= 8/5?
True
Let l be (2120/(-160))/(2/(-8)). Let n be (l + 0)/(16/1 - 11). Which is greater: 11 or n?
11
Suppose -156774 = 13*l - 47*l. Let n = 59971/13 - l. Which is greater: 2 or 