 > o?
False
Let r = 53 - 67.5. Let l = r - 0.5. Let f = -14.9 - l. Which is smaller: -2 or f?
-2
Suppose 2*z + v - 69 = 0, 10 = -0*v + 2*v. Suppose 0 = -4*x + z + 108. Is 36 greater than x?
True
Suppose -48*r = -45*r - 9. Suppose 0*y - 3*i = 3*y + 126, -y = r*i + 34. Is y at most -46?
True
Let o = 346 - 346.3. Which is bigger: o or 268?
268
Let p = -7020463460163979555851/30293998 + 231744369302593. Let o = p + 5/48626. Let v = o - -14/89. Which is bigger: v or 0?
v
Let z = -16805989/177372 + -2/44343. Which is greater: z or -96?
z
Let b = 0 - 1. Let d(h) = -h**2 + 7*h - 14. Let f be d(5). Let c be ((-1)/2)/(6/f) + -1. Which is smaller: c or b?
b
Let q be (16/144*-24)/((-1)/(-24)). Is -65 at least q?
False
Let n(m) = 84*m - 590. Let r be n(7). Is -30/37 less than or equal to r?
False
Let b(p) = p + 12. Let k(x) = -3. Let z(m) = 2*b(m) + 9*k(m). Let h be z(-3). Is -7 < h?
False
Let x = -36 - -52. Suppose -x = -3*u - u. Is u < 6?
True
Suppose 9 + 3 = -6*z. Suppose 16*n + 47 + 81 = 0. Is z less than or equal to n?
False
Let p(m) = -5*m + 5. Let x be p(9). Let z = -23 - x. Let d = 15 - z. Is -1 >= d?
True
Let a(m) = 1 - m**2 + 2*m - 3*m - 3*m. Let v be a(-4). Let l be 34/(-28) - 3/(-2). Is v bigger than l?
True
Let j be -2*(165/6)/11. Let k be j - (0 - (5 + 12)). Is k < 13?
True
Let a be (-920)/(-12)*(-18)/(-4). Suppose 0 = -5*u - 5*l + 450, -2*u = -6*u - l + a. Let o be u/175 - (-1)/(-5). Which is smaller: 0 or o?
0
Let q = 1425 + -1426. Let t = 81/4 + -2027/100. Which is bigger: t or q?
t
Suppose -5*a - 2*q = -75, 9*q - 4*q = 2*a - 30. Suppose 3*c - 42 = -2*t, -5*c = -6*c - t + a. Suppose -2*g + 19 + 3 = 0. Which is smaller: c or g?
g
Let v = -6 + -1. Let g = -5 - v. Let u = -4.1 - -3.1. Which is bigger: u or g?
g
Suppose 4*r + 48 = 5*v, 36 = -3*r + 5*v - 4*v. Is -9 at least as big as r?
True
Let y = -6 + 5. Let k = -5.9 - -0.9. Which is smaller: k or y?
k
Let j be ((-8)/10)/(9/(-45)). Let w = -4 + j. Is 2/37 > w?
True
Let t(o) = o**3 - 11*o**2 + 26*o - 24. Let j be t(8). Let q be (296/6)/(-4) - -3. Which is smaller: j or q?
q
Let u(x) = x - 13. Let r = -7 - -7. Let q be 15 + 2 - (r + 2). Let m be u(q). Which is smaller: m or 1/2?
1/2
Suppose -7*q - 4*p = -2*q + 213, -4*q = -3*p + 189. Let f be ((-2)/6)/((-10)/q). Suppose -s = a + 5, 5*s - 3*a + 4 = -5. Are f and s equal?
False
Let l be (-1330)/(-17085) - ((-38)/(-34) - 1). Which is smaller: 0 or l?
l
Let m = -114 + 802/7. Let w(o) be the first derivative of o**4/4 + o**3 + 3*o**2/2 + 2*o + 3. Let k be w(-2). Which is smaller: m or k?
k
Let b be (-70)/126 + 16/(-36). Is -4/265 bigger than b?
True
Let u(z) = -z**3 + 31*z**2 + 67*z - 28. Let s be u(33). Is s > 4?
True
Let j be 3*977/11169*-3. Let o = j - -27/34. Let c = o - 311/2774. Is -1 >= c?
False
Let s be ((-11)/(-33))/(2/(-36)). Let g be (0 - -1) + 1 + 28/s. Which is bigger: g or -3?
g
Let h(f) = f**3 + 8*f**2 + f - 4. Let k be h(-8). Let u(a) = -a - 12. Let c be u(k). Are -12/17 and c unequal?
True
Let d = -19.071 - -18.7. Which is bigger: 0 or d?
0
Let o = -455 - -454.8. Is o not equal to -52?
True
Let f = -259 + 260. Is f smaller than 165?
True
Let r = -2719 - -32593/12. Which is bigger: -2 or r?
-2
Let r be 7 + -3 + 3 - 3. Suppose 2*z = c + 3*c + 20, -4*z = -r*c - 28. Let x be z/30 - (-2)/(-6). Is 0 less than or equal to x?
False
Let f = 0.11 + 0.34. Let j = f - 0.48. Which is greater: j or 1?
1
Let t = 1.5 + 47.5. Let i = t + -42. Which is smaller: i or -7?
-7
Suppose -2*n - 3 = 3, 3*d - 5*n = -306. Is d at least -105?
False
Suppose -11*c + 14*c - 18 = 0. Suppose -3*t - 63 = 5*f - 4*t, c = 2*t. Are -15 and f unequal?
True
Let w = -6 + 5. Let h be 6/5*20/3. Suppose 0*q + 4*q + h = 0. Is w < q?
False
Let w = -57325147/18198 - -175495/54. Let x = w + -56046967/559083. Let h = 2/237 - x. Is -1 <= h?
True
Let u(d) = -4 + 0*d - 3*d + 0*d + d. Let v be u(-7). Let z = v + -5. Do z and 4 have the same value?
False
Let g be 3*((-70)/21 - -3). Which is greater: 2/239 or g?
2/239
Let q(k) be the third derivative of k**6/120 - k**5/15 + k**4/8 - k**3 + 5*k**2. Let l be q(4). Let t be (l/(-18))/(1/(-3)). Which is smaller: -1 or t?
-1
Let q(l) = -4*l + 75. Let i be q(19). Let s = -18.97 - -19. Is i greater than or equal to s?
False
Suppose -y - 2*p = -5, -13 = y - 4*p - 0*p. Let c = 3/2 + y. Let j = 0.3 - 0.5. Is j greater than c?
False
Let f = -16 - -15.68. Let z = -10/7 - -64/35. Do f and z have the same value?
False
Let a(k) = 2*k - 2. Suppose -6 = 3*g - 2*g. Let r be a(g). Which is greater: r or -15?
r
Let g = -29.3 - 3.7. Let m = g - -13. Which is greater: m or 0?
0
Let r be (-2)/(-5)*((-100)/10 - -5). Let h = 26 - 36. Let q be ((-2)/h)/((-2)/(-4)). Which is greater: q or r?
q
Let b = 857 - 22287/26. Are b and -3 non-equal?
True
Let z(p) = -40*p + 490. Let b be z(12). Let n = -13 + 8. Let f be 2/(-5) + (-57)/n. Do b and f have different values?
True
Let n = -444 - -444.011. Is -0.2 less than or equal to n?
True
Let j be (-875)/462 - (-2)/3. Which is smaller: j or 0?
j
Let c = -331508123596280/2064180349 - 5/6192541047. Let k = c - -160600. Let q = 3/7 + k. Which is smaller: 0 or q?
0
Let q = -1738 + 1740. Let n = 0.02 - -1.98. Let t = -7 + n. Is t greater than or equal to q?
False
Let h be -1 + (45684/(-40) - -4). Let l = 1140 + h. Is l greater than or equal to 2?
False
Let j = 6 + -8. Let n(u) = -u + 5. Let g be n(-9). Suppose 8*b = 6*b + g. Which is smaller: b or j?
j
Let v(a) = a**2 + 5*a - 4. Let p be v(-4). Let c be p/(-15)*(-9)/2. Is -3 bigger than c?
False
Let r = 16 + -16.07. Suppose 0 = -2*c - 4*p + 16, 27*c - 2*p + 6 = 29*c. Is c > r?
False
Let b be -1 + 1 - ((-2 - 0) + 0). Suppose 4*k + 35 = -5*d - k, -b*k = -3*d + 4. Is d < -6?
False
Let v = -637 - -344. Is -0.1 greater than or equal to v?
True
Suppose 2*v = -2, w = 4*v - 5*v - 2. Which is smaller: w or -29/14?
-29/14
Let s = -0.07 - -0.25. Let j = s + 2.42. Let f = -2.7 + j. Which is smaller: f or -4?
-4
Let h = 301 + -300.9. Is h less than 1.6?
True
Let x = -16 - -5. Let v be (96/45)/(-2)*3 - -3. Which is smaller: v or x?
x
Let g = 0.85 - 0.94. Which is bigger: -4 or g?
g
Let v(f) = -f. Let a(j) = 20*j + 6. Let g(u) = -a(u) - 3*v(u). Let z be g(2). Which is greater: -41 or z?
z
Let m be -8 + 24 + -3 + -1. Let b = m - 2. Which is greater: b or 9?
b
Let x = 28 + -10. Let k(v) = -2*v**2 + 36*v + 7. Let q be k(x). Which is greater: 6 or q?
q
Let y = -2491.7 + 2476.641. Let o = -0.059 - y. Is 2/7 bigger than o?
False
Let c be (116/10)/(-1) + (-42)/(-70). Let k = 22 - 4. Suppose -3*z - k = -4*d + 30, -2*d = 4*z + 42. Which is smaller: c or z?
z
Let k = 28 + -24. Suppose k*j - 4 = 8*j. Which is smaller: 3/7 or j?
j
Let q(m) be the second derivative of 7*m**4/12 + m**3/6 - m**2 - 14*m. Let f be q(3). Is 64 greater than f?
False
Let w = 638.1 - 638. Which is greater: w or -2/1975?
w
Let p be 36/90 - (286/(-10) - -1). Suppose -4*s - 12 = p. Is s > -3?
False
Let w(g) = -g**2 - 8*g - 7. Let p be w(-6). Let v(t) = t**2 + 2. Let i be v(-3). Let z = i - 5. Which is greater: p or z?
z
Let h = 16 + -19. Let q be (h + 5 + -2)/(2 - 0). Let i be 2/(-14)*3 + 0. Is i less than q?
True
Let i be 8/(-6) + (-1078)/(-21). Suppose i = -42*b + 37*b. Is b bigger than -10?
False
Let k(t) = -t**2 + t + 2. Let g be k(-1). Suppose 0 = -g*v + 2*v + 4. Is v >= -9?
True
Let t = -77 + 77. Let l(j) = j**2 + 3*j + 2. Let m be l(t). Is 18/11 smaller than m?
True
Let g be (7 - (2 - 1))/(-17 + 19). Let u be (0/(-8))/(-3*(-2)/g). Is 1/33 < u?
False
Suppose 0*i - 2*i - 10 = 0. Let n(d) = -d**2 - 5*d + 1. Let t be n(i). Let a be (3/36)/(2/(-4)). Which is smaller: a or t?
a
Let s(p) = p**3 - p**2 - 45. Let z be s(0). Let c be (6/z)/((-8)/25). Which is smaller: c or 0?
0
Let j = 19/6 - 119/30. Let f = -56 - -54. Is f at most as big as j?
True
Let z be (-2)/3 - (-1430)/(-33). Is z != 8?
True
Let r = 980 + -979. Which is smaller: -7/87 or r?
-7/87
Suppose -2 - 58 = -4*h. Let a = -14 + h. Which is smaller: a or -4/11?
-4/11
Let y(d) = -2*d**3 + 4*d**2 + 2*d + 4. Suppose 13*a - 9 = 10*a. Let p be y(a). Which is bigger: -9 or p?
p
Let k = 43.08 + -7.08. Is k != -6?
True
Let h be (3 - 5 - -2) + -3. Let y be -4*(h - (-15)/6). Let b be 3/(-3 + y) - -1. Which is greater: -3/4 or b?
-3/4
Suppose 5*a + 21 = -24. Suppose -4*r - 20 = -w,