 -0.7 + 12.7. Let w = 865 - 869. Let h be 0 - w - 2 - (-7)/(-5). Is x at most as big as h?
False
Let b = -5568 - -1163718/209. Let l = -9646 - -9647. Which is smaller: l or b?
b
Let h = -7348 + 8334. Which is smaller: 988 or h?
h
Let m be (3/(-6))/((-2)/(-8) + 3/12). Is -1/469 greater than m?
True
Let z = 19.1 - -483.9. Let s = -503 + z. Which is bigger: s or 2/39?
2/39
Let c = 181351 + -180888.108. Let f = c + -463. Let r be 4/6 + 40/(-42). Which is smaller: r or f?
r
Suppose -244 - 178 = -2*m. Let y = m + -224. Which is smaller: y or -19?
-19
Let v be -1*3/2*(10 - 8). Let j be -9 - -62 - (0/(-3))/v. Do j and 52 have the same value?
False
Suppose -4*z + 36 = 3*p - z, 0 = 5*p - z - 36. Let f be p/(-12) - -1 - (-8)/12. Which is bigger: f or 1/50?
f
Let x(n) = n**3 - 4*n**2 - 14*n + 20. Let s(w) = -2*w**3 + 9*w**2 + 29*w - 43. Let j(u) = 2*s(u) + 5*x(u). Let l be j(4). Which is greater: l or -3?
l
Let x = -3/676 - -3129/19604. Is x < 0?
False
Let m = -10567 - -10460. Which is smaller: 22 or m?
m
Let c(o) = -192*o + 8649. Let m be c(45). Which is smaller: 445/49 or m?
m
Suppose -2190 = 3*o - 2196. Let q be ((-24)/6 - -4)/o*1. Which is bigger: q or -21?
q
Suppose f = 3*f - 32. Suppose -6*y + 51 = 11*y. Suppose 0 = y*v + 3*a - 45, 5*v - 2*a = -3*a + 75. Which is smaller: v or f?
v
Let d(i) = 8*i + 42. Let c(k) = -129*k - 672. Let z(x) = 2*c(x) + 33*d(x). Let t = -1 - 9. Let n be z(t). Is -17 at most as big as n?
False
Suppose 90*m + 1281 = 77*m + 17167. Which is bigger: 1218 or m?
m
Let c = -0.0625 - 6.5075. Let l = 6.27 + c. Which is smaller: 26 or l?
l
Let y = -297/5 + 54. Suppose -35 = 5*q - 3*m, -q + 4*m - 36 = 3*q. Which is smaller: y or q?
y
Let z = -379 + 379.467. Let u = -0.437 + z. Which is greater: u or -28?
u
Let f = 27717 - 27722. Is -2447 greater than f?
False
Suppose -4*y - 4*k + 3120 = 0, 5*k + 1993 = -2*y + 3577. Is 773 >= y?
True
Suppose -4*q - 494 = z, -q + 4*z + 675 = 824. Let f(b) = -b + 5. Let j be f(6). Which is smaller: q or j?
q
Let g = -11281433/26 - -434035. Let w = -134 + g. Do 1 and w have the same value?
False
Let s = -386/11 - -6716/187. Let m be 330/(-60)*(-6)/33. Are m and s unequal?
True
Let p(c) = -c**3 - 2*c**2 + 26*c - 26. Let d be p(-7). Is d greater than 15?
True
Let q = -43.5 - -39.58. Let l = 7.92 + q. Which is bigger: l or -32?
l
Let i = 4443167578/1147223 - -14090/14899. Let x = i - 3874. Is x greater than or equal to -1?
True
Let d be (-29)/((-2068)/(-148) + -14). Which is smaller: 1072 or d?
1072
Let u = -34 + 6. Let j be 1 + (-10)/8 - 259/u. Let y(z) = -z**2 + 10*z - 10. Let v be y(j). Which is greater: v or 4/15?
4/15
Suppose -r - 11 = -12*r. Let f be (r/2)/(3 + 524/(-176)). Let p = -26 + f. Which is smaller: -0.2 or p?
p
Let z = -6/9995 - -73391/5707145. Which is smaller: z or 1?
z
Let s be (2 - 5) + (0 - -3). Suppose -6*x = -2*x - 3*b + 81, 2*b - 60 = 3*x. Let a be (-3)/x - 22/(-84). Which is greater: s or a?
a
Let s = 74 - 52. Let v = s + -22.4. Let g = -5 - -6. Is v at least as big as g?
False
Suppose 0 = -5*f + 2*f + 4*b - 6605, 2*f - 4*b = -4398. Let j = 196425/89 + f. Which is smaller: j or -1?
-1
Let q be (-8)/(-6) - (-224)/(-192) - 13/(-18). Let o = 3 - 1. Which is bigger: o or q?
o
Let c = -11405 + 8897. Is -2508 at least c?
True
Let y = -0.09 - 0.01. Let i = 5.62 + 9.14. Let g = i - 14.8. Do y and g have different values?
True
Let s = 62/931 + -355172/931. Is -380 at least as big as s?
True
Let h be (-3018)/13 + (-24 - (-3140)/130). Which is smaller: h or -229?
h
Let s = -82 + 102. Suppose 0 = s*o - 6 + 506. Is -26 smaller than o?
True
Suppose 6*l - 8*l = 38. Let b(i) = i**2 - 2*i + 23. Let v(s) = s**2 - s + 1. Let u(k) = -b(k) + 2*v(k). Let y be u(0). Is y equal to l?
False
Let p(t) = -t**2 + 5*t + 4. Let f be p(6). Suppose 2*g + i - 266 = 0, -i + 127 = g + i. Let r be (0 - f/10) + 18/g. Which is smaller: -8/9 or r?
-8/9
Let c be ((-20)/(-50))/((-2)/(-30)). Let u be 4/3*(327/c + -8). Suppose -3*l + 8*l - 310 = 0. Is l less than u?
False
Suppose 3*i = i - 146. Suppose 1050 = 3467*v - 3481*v. Which is smaller: i or v?
v
Let v be 3/(-12) - (1 + 3924/(-16)). Suppose -2*d - 78 = -v. Suppose -d - 452 = -5*t + 3*h, -t + h = -107. Which is bigger: t or 0.1?
t
Suppose -116 = -6*u - 296. Suppose 0 = 3*f - 9, 3*y - 3*f + 7*f - 39 = 0. Let b be (-1)/y*3*u. Is 10 equal to b?
True
Let w = -65 + -133. Let s = 142.1 + w. Let v = 56 + s. Do v and 5 have different values?
True
Let d be 5/(-75)*(-6 + (-1 - -1)). Let l = -115 + 112. Let b be (-15)/30*(-2 + 1)*l. Is b at least as big as d?
False
Let b = -268 - -266.1. Let w = -17 + 46. Let u = -27 + w. Is u not equal to b?
True
Let v = -4146 + 4569. Are v and -4 non-equal?
True
Let g = -1.63 - -11.53. Let u = -1193 + 1182.1. Let c = g + u. Are 63 and c non-equal?
True
Let w = 129531 + -520767/4. Is w greater than -661?
True
Let j = 2895 - 2894.47. Which is greater: -1.3 or j?
j
Suppose -60 = s + 3*p, -2*s - 58 = -s + 4*p. Let l be 18 + -14 + -52 + (3 - -1). Let k be s/l*4/39. Which is bigger: k or -0.05?
k
Let i = -40 + 45. Suppose 4*a + 23 = 3*k - 19, k - i*a = 25. Suppose -4*h - k = -8*s + 3*s, -2*h - 5*s = -10. Which is smaller: h or -1?
-1
Let c = -22/105 - -14761/70350. Which is bigger: 0 or c?
c
Suppose 45*g - 46*g + 3 = 0. Suppose -14*q = g*q + 68. Suppose 0 = -4*x - 2*r - 5 - 13, 2*x - r = -11. Which is greater: x or q?
q
Let l = -15.41 - -15.319. Which is smaller: -1/2 or l?
-1/2
Suppose 0 = -7*t - 21934 + 28493. Is t at most as big as 926?
False
Let o(i) = -92*i + 41 - 93*i + 175*i. Let h be o(-11). Is 150 less than or equal to h?
True
Let m = 550 + -550. Which is smaller: m or -2/1169?
-2/1169
Let h be 1 + 36/15 + -3. Let k = 191 + -185. Suppose -k + 6 = 17*y. Is h bigger than y?
True
Let a(b) = 6*b**2 + 479*b + 1896. Let l be a(-4). Are l and -12 non-equal?
True
Let r be (-3)/(-2) + 3/6. Suppose s + 3*j = -r*s + 114, 170 = 5*s - 5*j. Let f be 9/s + 1/(-3). Is f bigger than -1/4?
True
Let r = -339 + 577. Suppose r = -2*x - 4*b, 5*x = x + 3*b - 498. Which is smaller: -124 or x?
-124
Let n = 1.131 - 0.88. Let a = -0.069 - n. Is a > 2?
False
Let k = -0.0888 - -0.1888. Are k and 19.055 nonequal?
True
Suppose 0 = 99*t - 34750 - 11087. Are -1/4 and t non-equal?
True
Let r(u) = -u + 3. Let a be r(-3). Let z be (6/9)/(16/(-72)). Let m be (45/(-25) - (-2)/(-10))*z. Does a = m?
True
Let h(n) = n**3 - 60*n**2 - 76*n + 64. Let v be h(61). Which is smaller: -852 or v?
-852
Let u(f) = -43*f - 3. Let a be u(-3). Let q = 502741 - 502615. Is a <= q?
True
Let j = 311.68 + 94.32. Is -3 at most as big as j?
True
Let m = -2/46683 + -63302138/233415. Is 0 at most as big as m?
False
Suppose 2*i + 58 = 66. Suppose 3*q = 4*s + 8 - 12, 3*s = i*q - 4. Suppose -c + 5*j + 77 = -3*c, 136 = -4*c - q*j. Which is greater: c or -29?
-29
Let a be 206/(-3) - 5*3/5. Let b = -71 - a. Is b at least as big as -21?
True
Let c = -122 - -155. Suppose 30*l - c*l = 162. Let n be l/8 - 5/20. Is n > -7?
False
Suppose -123*s = -121*s - 3*x + 1, -3*s = -x - 2. Which is bigger: s or 3/445?
s
Let y(t) = t**2 + 8*t + 5. Let d be y(-8). Suppose 4*n = 2*i, -2*n + d*i = 3*i. Are n and -3/44 equal?
False
Let a be (-1 + 21/6)*584/12410. Let r = -46 + 100. Is r less than or equal to a?
False
Let j = -197 - -198. Which is smaller: 667 or j?
j
Let x = 200.23 - -13.77. Is x < 0.2?
False
Suppose -80728*p + 80730*p - 324 = 0. Suppose -682 - 296 = -6*v. Which is greater: v or p?
v
Let c be 6*(68/(-24) + 3)*-7. Is -4/15 at least c?
True
Let l(p) = -p**3 + 11*p**2 + 11*p + 14. Let b(i) = i**3 + 22*i**2 - 73*i + 62. Let y be b(-25). Let w be l(y). Which is greater: w or -3/14?
w
Let g(v) be the first derivative of -v**2 + 3*v - 47. Let h be g(1). Which is bigger: h or 0.01?
h
Let a = 8134 - 8039. Suppose 192 = 4*x - 2*x. Which is smaller: x or a?
a
Let t(a) = 256*a - 9464. Let g be t(37). Let v = 5 - 3. Suppose -v*m = -21 + 5. Is m less than g?
False
Let k(a) = 104*a - 1113. Let p be k(9). Which is smaller: p or -0.9?
p
Let t be (18/3)/3 + 9. Let l(q) = -2*q**3 + 22*q**2 + q - 11. Let k be l(t). Which is bigger: -0.6 or k?
k
Suppose -t - 4*t + 3 = -2*p, 4*p + 5*t = -21. Let o be -4*(-4 + 6) + (p - -2). Are -14 and o non-equal?
True
Suppose 3*o = 6, -5*o = -h - 7*o + 2724. Let p = h - 62542/23. Which is smaller: 