= 115 + -1493/13. Is g >= -0.03?
True
Let a be (-3)/8*4/(-6)*292. Which is smaller: a or 75?
a
Let k = -264 + 262. Which is smaller: k or -19/6?
-19/6
Let s = 48 - 61. Which is bigger: s or -25?
s
Let b be 7/21*-9 - (-1104)/369. Which is greater: b or -1?
b
Suppose 6 = 4*i - i. Suppose 5*x - 8 - i = 0. Do x and 2 have the same value?
True
Let d be (-2)/(-3*3/783). Let k be ((-10)/(-75)*-3)/(d/(-15)). Do -2 and k have the same value?
False
Suppose -19*x + 695 = -1167. Which is smaller: 97 or x?
97
Let t be (-222)/(-777)*(-14)/130. Is t greater than or equal to 1?
False
Suppose 0 = -10*i + 228 - 168. Is -2 < i?
True
Let j = -16317 - -310148/19. Which is smaller: j or 6?
6
Let d = 0.3 + -0.3. Let s = -676 - -683.94. Let x = -8 + s. Is d equal to x?
False
Let k = -31717/193 + 493/3. Which is smaller: 1 or k?
k
Let r(u) = 2*u - 7. Let y(j) = j**3 - 8*j**2 - j + 10. Let n be y(8). Suppose -3*k = n - 23. Let o be r(k). Does o = -2/9?
False
Let o = 6/83 - -384/1577. Which is smaller: o or -2/5?
-2/5
Suppose 4*j + 4*l - 996 = 0, -4*l = -4*j - 73 + 1029. Which is smaller: j or 243?
243
Suppose 0 = 5*j + 11 - 1. Let x(i) = i - 2. Let s be x(-10). Let a be ((-80)/s + 1/3)/(-1). Which is greater: a or j?
j
Let u = 415 - 419. Which is smaller: 0 or u?
u
Let u = -2621/41132 - 1/452. Are 1 and u equal?
False
Let b(k) = 3*k**3 - 7*k**2 - 1. Let a(y) = 4*y**3 - 7*y**2 + y - 2. Let x(t) = 4*a(t) - 5*b(t). Let s be x(-4). Let m = 31 - s. Which is bigger: -1 or m?
m
Let o be (-4 + 117/33)*4/(-850). Which is greater: -1 or o?
o
Let y be ((-30)/(-75))/(2 - 10298/5150). Let v be y/60 - (-1)/(-6). Which is smaller: v or 20?
v
Suppose -4*w + 0*y + 3*y = -3, 4*y = 12. Suppose -2*q = 6, -5*d + 3*d = -w*q - 5. Let l be (20/14)/(d/1). Do 0 and l have the same value?
False
Let b = -3/344 - 1235/16168. Which is bigger: b or -1?
b
Suppose -y - 3*v + 3 = 0, -24 - 22 = -2*y + 4*v. Is y less than -18?
False
Let r be (-34048)/51471 + (-4)/18*-3. Do r and -1 have different values?
True
Let l be -1*(-5)/(-20) - 0. Let q = 4 - 11. Let y be (-10)/20 - q/10. Which is smaller: y or l?
l
Let o be 20/(-39) - (-10)/(-65). Let k = 5 + -4.2. Let u = k - 1. Is o at most as big as u?
True
Let g = 834.1 - 834. Is g at least as big as 312?
False
Let a be (-8 + 11)*10/(-6370). Are a and -1 unequal?
True
Let z = -0.9 + 1. Let a(p) = p - 1. Let r(b) = -4*b + 1. Let s(u) = 3*a(u) + r(u). Let j be s(-1). Which is smaller: z or j?
j
Let o = -1627 - -1597. Which is greater: o or 2/67?
2/67
Let t(d) = 4*d + 16 + 15*d - 14*d. Let r be t(-5). Which is greater: 0.1 or r?
0.1
Let n(l) = -l**2 + 9*l - 10. Let i be n(7). Let c = 10 - i. Let w(r) = r**3 - 8*r**2 + 11*r + 27. Let u be w(4). Which is smaller: c or u?
c
Let j be (-452)/(-60) - (-6)/(-45)*1. Which is greater: 7 or j?
j
Suppose v = 8 - 6. Suppose k + 2*k - 29 = v*t, k - 5*t = 27. Suppose -4*z + 15 = -5*a + z, -z + k = -5*a. Which is smaller: -4/23 or a?
a
Let s be 11980/(-3992) - ((-42)/(-7) + -9). Which is greater: -1 or s?
s
Let g = 0.01 + 0.05. Suppose -2*t - 30 = 4*x, 3*x = 4*t - 4 - 2. Let m be 2*-2 + (-28)/x. Is m at most g?
False
Let y = -27.8 - -28.05. Is y at least as big as -0.05?
True
Suppose 0 = 3*o - 7*t + 10*t, -o - 6 = -5*t. Which is smaller: o or 1/452?
o
Let w = -0.3 - -0.3. Let l = -139.08 + 139. Which is bigger: w or l?
w
Let t be (42/(-322))/(12/32). Is 0 less than or equal to t?
False
Let o be 5*69/15 - 4. Which is bigger: 29 or o?
29
Suppose -15*v + 6*v = 27. Suppose -16 = -3*l - 0*h + 2*h, 3*l = -2*h + 20. Let j = l + -11. Which is bigger: j or v?
v
Let j(c) = -c**2 + 8*c - 7. Let r be j(8). Suppose 12*b - 13*b = -k + 6, -4*k = -5*b - 25. Is r < b?
True
Let r be (4/(-12))/((-3)/27). Suppose 0 = r*n - 21 - 0. Suppose n*x = 4*x - 6. Which is smaller: -4 or x?
-4
Let u be (-14)/(-12) - 17/102. Suppose u + 11 = 4*s. Does s = 3?
True
Suppose -2*v + 24 = 4*n - 2*n, 2*n + 67 = 5*v. Suppose 12*f = v*f + 3. Let b(g) = -g**2 + 1. Let a be b(2). Is f greater than or equal to a?
True
Suppose 3*z = -3, -2*z + 4 = -2*v - 0*z. Let k be 22/10 + v/15. Suppose 9 = -n + k*t, 3*t - 15 = -2*t. Are n and 1 non-equal?
True
Let g be 3/((18/4 + -5)*-2). Which is greater: g or -3/22?
g
Let l(x) = 2*x + 1. Let n be l(-5). Let c = -35/4 - n. Is 0 != c?
True
Let b(l) be the first derivative of l**3/3 + 5*l**2 + 12*l + 6. Let o be b(-10). Let w be (3/7)/(o/(-8)). Which is bigger: w or 5?
5
Let z(q) = -q**3 + 13*q**2 - 3*q + 34. Let k be z(13). Let s(f) = f - 3. Let i be s(5). Let j = -6 + i. Which is bigger: j or k?
j
Let n = -2704 + 386670/143. Let q(u) = -u**3 + 2*u**2 + 22*u - 9. Let f be q(-4). Which is bigger: f or n?
n
Let m be (-1)/((-8)/(-100) - 2301/33450). Which is greater: m or -89?
-89
Suppose 0 = -4*k + 6*c - 2*c - 8, -2*k - c - 10 = 0. Let f be (-61)/(-40) - k/(-10). Which is greater: 0 or f?
f
Let d(o) = 2*o**3 + 78*o**2 - 8*o - 310. Let l be d(-39). Let m = -666 + 1069. Let n = m + -2008/5. Is l at most n?
False
Let b(m) = -6*m + 2. Let c be b(-3). Suppose -4*n = -0 - c. Which is smaller: 8 or n?
n
Let j(n) = 11*n**2 + 27*n - 4. Let r(u) = 7*u**2 + 18*u - 3. Let k(o) = -5*j(o) + 8*r(o). Let g be k(-10). Let q be (-20)/(-6)*g/55. Which is greater: q or 0?
q
Let p be (-13)/(-7) + 2*(-6)/4. Suppose -5*h - 2*t = -31, -5*h - t = -13 - 15. Suppose -3*y - 13 = 2*j, -14 = j + h*y + 3. Is j at least p?
False
Suppose 0 = 5*p + 3 + 2. Let j be (-1)/p + 228/(-204). Which is smaller: j or 1?
j
Let h = -2/5 - -4/35. Suppose j - 19 = -5*s, 2*j = -3*s + 15 - 5. Let f be -3 + (-2)/j*1. Which is greater: f or h?
h
Let q = 11 - 11. Suppose q = -0*g + 3*g + 6. Let v = -0.1 - -0.3. Which is greater: v or g?
v
Let g = 52382 - 627335/12. Let m = g - 104. Is -1 at most as big as m?
True
Let n = 4961 + -84377/17. Is n <= 2/7?
True
Let a(l) = 2*l**2 + 1. Let z be a(1). Let r be 2 + (6/2 - z). Which is greater: 4/7 or r?
r
Let p = 0.05 - 2.95. Let q = p - -3.9. Let k = -2 - -2. Which is smaller: k or q?
k
Let a be (-4)/34 + (-3 - 371/(-119)). Which is smaller: a or -1/157?
-1/157
Suppose -2*l - 15 + 15 = 0. Are l and 9/7 non-equal?
True
Let b be -3 + (-3 - -2*3) + 0. Let z = 0 + -5. Let m be (-1)/z + 6/(-10). Which is smaller: m or b?
m
Suppose 3*s + 2*s + 20 = 0, -2*q + 12 = -2*s. Suppose -5*x - q*j + 113 = 0, -2*x = x + 2*j - 71. Is 21 at least x?
True
Let d be (-4)/14*(-3)/(30/14). Let o = 1 - 31. Which is greater: d or o?
d
Let b(o) = 5*o**2 - 5*o + 3. Let x be b(3). Let f be (-1)/(-2) + x/(-2). Let t be f/24*3*-1. Is t greater than 12/5?
False
Let r(z) = -5*z**2 + 87*z - 38. Let j be r(17). Which is greater: 119 or j?
119
Let x(b) = b**3 + 6*b**2 + 3*b - 7. Let m be x(-5). Suppose -o - 3 = 3*l + 3, l + m*o = -2. Let p = 2/73 + 112/1241. Does l = p?
False
Let m(q) = q - 13. Let j be m(-11). Are -31 and j nonequal?
True
Let t = 41 - 36. Let l be 1*(2/10 + 4/t). Is -2/43 != l?
True
Let d = 4 + -9. Suppose 16 = -4*k + 36. Suppose 2*s + 5 = 7*s, k*s = t + 9. Which is smaller: d or t?
d
Suppose -2*a = a - 6. Suppose -a = -x - 7. Let w be x/(-6)*27/(-12). Which is smaller: -1 or w?
w
Suppose 70*r = 18*r - 52. Is 2/599 at most as big as r?
False
Suppose 1 = -3*a - 2. Suppose -4*h + 4 = -3*h. Let p be (h - (-2 + 2))/(-2). Is a smaller than p?
False
Suppose -3*q + 32 = -5*l - 4*q, -5*l + q = 38. Let m(y) = y + 7. Let n be m(l). Which is bigger: n or -2/47?
n
Let d(n) = 19*n + 27. Let o be d(-2). Which is smaller: -9 or o?
o
Let z be (48/(-112))/((-9)/(-78)) + 4. Is z at most as big as 0.08?
False
Let h be -47*(-1)/(-2)*2. Which is smaller: -1 or h?
h
Let c = -327 + -155. Which is smaller: -480 or c?
c
Let g = 34 - 23. Let k be 20/(-110) + (-207)/g. Is -19 != k?
False
Let c = 1.7 - -34.3. Let k = -26 + c. Let b = k - 9.99. Is 1 greater than or equal to b?
True
Let l(b) = -b**3 + 24*b**2 + 24*b - 34. Let c be l(25). Is c greater than -59?
False
Let k be (-2)/7 - 348/(-42). Let r be -1 - -8 - 0 - k/8. Which is bigger: r or 8?
8
Let j(w) = 16*w**2 - 3*w - 11. Let y be j(-3). Is 142 greater than y?
False
Let p = 0.598 - 0.51. Let v = 15.088 - p. Is v at most -4/3?
False
Let f be 6/(-24) - (-50)/8. Suppose -g + f*g = 10. Which is smaller: g or -0.01?
-0.01
Let l be 2/4 + (-37)/10. Suppose 3*h + 4*f + 12 = 0, 7*h - 4*h + 12 = -5*f. Are h and l non-equal?
True
Let o = 18 -