+ 57/110. Is 2 at most as big as m?
False
Let x = 35 + -33. Suppose -x*u - 2*j - 3*j - 14 = 0, j + 1 = -u. Suppose -4*i - 4 = -4*f, -u*i = -8*i + 4*f - 6. Is i bigger than 1?
False
Suppose 0 = 4*b + 2*i - 58, 0*i - 22 = -b + 2*i. Let s = 43 + -30. Let g = s - b. Which is smaller: -2 or g?
g
Let v = -16.8 - -3.8. Let z = 1.3 - -7.7. Let s = z + v. Is 3 less than or equal to s?
False
Let d be (3 - 7)/((2 + 0)*5). Is -0.027 greater than or equal to d?
True
Let b = 17 + -19. Let j be -1 + (-2 - b) - 19. Let s be (-3 + 5)*6/j. Is s greater than 0?
False
Let h be 3017/(-637) + (2 - 2/(-2)). Let g = 4/13 + h. Which is smaller: -2 or g?
-2
Let j = -1055 + 1049. Which is greater: -1/9 or j?
-1/9
Let v be ((-22)/(-54))/((-1)/(-42)). Let c = 52/3 - v. Let x be (-128)/832 - 44/(-117). Is x >= c?
True
Suppose 0 = 5*s, -47*s = 4*b - 42*s - 4. Which is smaller: b or 4/9?
4/9
Let t be (0*(-12)/(-144))/(-5). Which is smaller: t or -2/2763?
-2/2763
Let j be 200/9 + (-8)/36. Let v be 26/j + 8/(-44). Let x = -44/119 - 1/17. Which is bigger: v or x?
v
Suppose -5*f = -4*l + 4 - 14, -3*l - 10 = -5*f. Let d be ((-754)/136)/1*f. Let p = d - -78/17. Is -7 > p?
False
Let p be ((-10)/2530)/((-1)/(-22262)). Let z = 966/11 + p. Which is bigger: z or -1?
z
Suppose 8 = -5*t - 22. Suppose -7*r = 7*r - 168. Let v be r/(-16) + t/(-8). Is v less than or equal to 2?
True
Let i be (-1)/(-7) + (-12)/84. Is i less than or equal to -4/123?
False
Let b = 274/5 - 55. Is -20 bigger than b?
False
Let v = -0.2601 - -0.0301. Are 7/8 and v equal?
False
Let t = 32 - 48. Let l be (6 - -8 - 19) + -12. Which is greater: l or t?
t
Let x = -255 + 216. Which is smaller: -264/7 or x?
x
Suppose 3*q = 3*w + 21, 3*w + 4*q = -31 + 45. Which is greater: w or 24?
24
Let o be 158/80 - (23 + -21). Let t be ((-2)/(-10))/(40/125). Let b = t + o. Is 2 greater than b?
True
Let n = -1108/15 - -74. Let l = 48 + -30. Let x = 18 - l. Which is smaller: n or x?
x
Let h be (1/2*-1)/((-7)/(-14)). Suppose -m - m - 2 = 0. Is m bigger than h?
False
Let v = -10.1 + 10. Let a = -33.7 + 34. Let n = 0.5 - a. Which is greater: n or v?
n
Let z = 22 - 37/2. Which is greater: z or 0.5?
z
Let j be (-4)/40*2*-5. Suppose 0 = 2*x - 29 - j. Is x greater than 15?
False
Suppose -7 - 2 = -3*m. Suppose 0*d = m*d + 3, -2*n - 1 = 5*d. Let b(x) = x - 1. Let l be b(n). Which is smaller: l or -2?
-2
Let h = -22.47 + 27.47. Is h less than -43?
False
Let a be (-19)/(-7) - 2/1. Let p be ((-30)/(-40))/((-1)/(-60)). Let l be (p/30)/(6/8). Which is smaller: a or l?
a
Let q = -733/308 - -25/11. Let g(t) = 34*t**2 + 19 + 19*t - 15*t**2 - 20*t**2. Let w be g(20). Which is smaller: w or q?
w
Suppose -3*d = -i + 5, 3*i - 4 = 4*d - i. Let z be (-6 + 2)/(17 + d + -2). Is z less than 1?
True
Let u = 36 - -8. Let f = -40 + u. Which is smaller: 0.14 or f?
0.14
Suppose 0 = 7*p - 3*p + 12. Suppose 0 = -2*a - 5*s + 1, -2 = -0*s - 2*s. Is a at most p?
False
Let c be (-7 - -3)*(2 + 15) - -2. Is -68 smaller than c?
True
Let w = 354/7 - 127100/2513. Which is smaller: w or -1?
-1
Let m = 125/2 - 55. Let y = -189 + 197. Does m = y?
False
Let s be (-1)/((-3)/6) - 5. Let x = 0.029 - -48.971. Let z = -46 + x. Is z smaller than s?
False
Let m be (2/2*0)/2. Suppose -u + 2 = m, -6*u + 5 = 3*b - 2*u. Let a = -552 + 551. Are b and a unequal?
False
Let j be (6 + -10 - 0) + 0. Which is bigger: 1 or j?
1
Suppose -7 = 2*h - 3, 0 = -5*p - 3*h + 19. Suppose 0 = p*w - 110 + 10. Suppose 2*q + w = -2*n, 3*n = -0*q - q - 20. Is n smaller than -5?
False
Suppose 42 = -9*j + 15. Is 0 >= j?
True
Let q = -0.053 - -0.593. Which is bigger: q or 1?
1
Let h be (-526)/(-465) + (-4)/10. Let q = h - 2/31. Let t = -7/3 + 2. Which is smaller: t or q?
t
Let r = -0.764 - 0.236. Let v = -2.42 - -6.48. Let b = 0.06 - v. Which is greater: r or b?
r
Let l = 0.7 - -0.3. Let g = l - 0. Let q = -38 - -38.03. Which is greater: q or g?
g
Suppose -2*n = g + 2*g - 11, 0 = 3*n + 4*g - 15. Which is bigger: 228 or n?
228
Let l = -309/299 - -14/13. Let f(m) = 2*m**3 + 4*m**2 + 6*m + 3. Let n be f(-1). Which is bigger: l or n?
l
Let q be 2560/(-210) + (-2)/3. Let k = -383/14 - q. Are -14 and k unequal?
True
Let z(q) = -q**3 + 7*q**2 + 7*q + 6. Let c be z(8). Let g(a) = -a + 1. Let i be g(c). Suppose -4*v = -i*v. Is v smaller than -6/7?
False
Suppose 13 + 14 = -z. Which is smaller: -51/2 or z?
z
Suppose 4*y + 566 - 90 = -4*b, -2*b - 355 = 3*y. Is y <= -117?
True
Let h = 0.3015 - 0.1015. Is -128/3 smaller than h?
True
Let l(b) = -36*b - 194. Let c be l(-5). Let u(t) = -t**2 - 3*t - 3. Suppose 3*r - 11 = d - 0*r, 20 = -2*d + 5*r. Let m be u(d). Is c not equal to m?
True
Let g be 14/(-35)*(-25)/(-65). Is g not equal to -10?
True
Let s be -2 + (-1 - -1 - -2). Let c be ((-9 + 3)/156)/(1 - 2). Which is greater: s or c?
c
Let y be 45 - 4 - 0 - 4. Let f = y - 29. Let g be -6*4*3/f. Which is greater: g or -11?
g
Suppose -1013 - 446 = 5*q + 2*m, 3*q - 4*m = -891. Which is greater: -587/2 or q?
q
Let i(a) = -13*a**2. Let u be i(1). Suppose 0 = 2*j - 2*v + 3*v + 174, 2*j - 3*v + 190 = 0. Let h = 621/7 + j. Which is greater: h or u?
h
Suppose -3*h + 77 = 5. Suppose 0 = n - 4*n + h. Let b be (-4)/(-12) + n/30. Is b > 1?
False
Suppose -5*l - 2*h = -21, 2*h - 5*h = -4*l + 3. Suppose 0 = -3*v + l*k + 6, -3*v + 2*k + 6 = 6*k. Let a = v - -2. Is 4 bigger than a?
False
Suppose i + 4*y = -49 - 64, i = -5*y - 118. Let w = i - -159. Let o be 43/w - 14/(-77). Is o less than or equal to 1?
True
Let a be 0/(2/(1*-6)*-6). Is -5/27 smaller than a?
True
Let g = -67 - -118. Let u = 463 - 412. Are u and g non-equal?
False
Let s(a) = -2*a**3 - a**2 - a - 1. Let m be s(-1). Let i = 64/17 - -1453/34. Let r = 289/6 - i. Are r and m equal?
False
Let i = 19.3 + -19.6. Which is greater: i or -31?
i
Let c be (1/3)/(3/(-9)). Which is smaller: -3/214 or c?
c
Suppose 0 = 23*t - 6293 - 5414. Which is greater: t or 508?
t
Let c(a) = a**3 + 16*a**2 + 43*a + 9. Let f be c(-3). Suppose 0 = -3*k - 9, -2*p + k - 3*k = 20. Let z be 4/p*(-2)/(-4). Which is greater: z or f?
z
Suppose 5*k - 3*d - 3 = -5*d, -3*k + d - 7 = 0. Let c be (10/(-24))/k*2. Suppose -j - 4*g = -0*g - 13, -4*g + 16 = 4*j. Which is greater: c or j?
j
Suppose 5*p - 51 = 2*j, 0 = -5*p + 3*j - 4*j + 42. Suppose 4 = v - p. Let r be (-2 + 1)/(1/(-4)) + 8. Which is smaller: r or v?
r
Let i = -15.8 - -13.8. Which is smaller: -0.8 or i?
i
Let o be (-3)/10*(-32)/(-24). Is 70/9 equal to o?
False
Let u = -4181/2 + 2089. Let l = -1 - 0. Are l and u non-equal?
True
Let y = -47 - -49. Suppose 0 = y*x + 3*x + 5. Is -14/11 greater than x?
False
Let m = 37 + -65. Let r = m + 44. Is r at most as big as 29/2?
False
Let h be (-60)/(-72) + 1/(-2). Is h less than or equal to 0.053?
False
Let q(i) = i. Suppose -3*x = -2*d - 5, 4*x - 2*d = -3 + 9. Let g be q(x). Let u be (25/525)/((-10)/(-12)). Which is smaller: u or g?
u
Let m be (2220/368 - 6)*(-74)/3. Is -1 <= m?
True
Suppose 2*q + 5*j - 33 = -9, -22 = -5*q - 3*j. Suppose m + m - 8 = q*z, z - 3*m = 0. Do z and -6 have different values?
False
Suppose -2*g + 4*k + 22 = 0, -k = 2*g + 3*k + 18. Suppose -m - 2*t + 1 = 0, g = 3*m - 3*t - 2. Let w = 181 - 5971/33. Which is smaller: w or m?
w
Let j be ((-1)/7)/((-96)/(-168)). Is -7 bigger than j?
False
Let n be 2 + -2 - 17*-3. Let w = 21 - n. Is -28 at most w?
False
Let o be (-8)/(-36) - (-664)/9. Let n be 8/o*195/108. Let z = -1/37 - n. Which is bigger: 7 or z?
7
Let v = 497 + -501. Let g(c) = c + 3. Let t be g(-7). Are v and t non-equal?
False
Suppose -k + 2 = 0, 0 = 5*u - 2*u + 4*k - 284. Are 92 and u equal?
True
Let x be (-4)/(-34) + (-132)/(-34). Let t be 0*(6 - x)/(-2). Let z = -29 - -144/5. Is t greater than z?
True
Let f = -7/3 + 58/21. Suppose -290 = c + 4*c. Let q = c + 58. Which is greater: f or q?
f
Let a(y) = y**3 + 10*y**2 - 3*y. Let b be a(-8). Suppose 0 = -3*d + 7*d + b. Which is bigger: -39 or d?
d
Let d(o) = -4*o + 0*o**2 - 3*o**2 - 9 + 4*o**2 + 2. Let r be d(6). Suppose 1 = -r*p - 4. Which is greater: -3/8 or p?
-3/8
Let v be 1 + -2 - (2 - 1). Let b(o) = -o**3 + 13*o**2 + o + 31. Let g be b(13). Let i be g/(-45) - 6/27. Is i != v?
True
Let x = 3022 - 3021.9. Let j = -5 - -8. Is j <= x?
False
Let r be 13/3 + 8/(3 + -5). Which is bigger: -60 or r?
r
Let u(q) = 77*q**3 - 5*q**2 + 4*q. Let v be u(1). Let s