ose 72 = 4*q - 4*i, -2*q - i = 3*q - t. Is q greater than or equal to 21?
True
Let a = 0.812 + -1.212. Is a at most as big as -24/13?
False
Let a be (-1)/(-1 - 18/(-21)). Is 13 <= a?
False
Let j be (1 - 0 - 568) + 0. Let f = -720963/742 + 21435/53. Let n = f - j. Which is smaller: n or 1?
n
Let m be (12/2151)/((-8)/(-12)). Which is bigger: m or -1?
m
Let y be (-36)/28 - -1 - (-2736)/9660. Is -0.1 less than or equal to y?
True
Let f = -22 - -12. Let l be 2/20 + (-9)/f. Is 2/23 less than or equal to l?
True
Suppose -q = -0*b + 4*b + 13, -1 = -2*b + q. Let k be b + 4 + (-24)/6. Which is smaller: -8/9 or k?
k
Let i = -350611/9 + 38919. Let r = 38 + i. Which is bigger: r or 0.1?
r
Let u = -11.4 - -10.4. Let r = -0.16 + 0.1. Which is smaller: u or r?
u
Let x be (-5 - 154/(-28))/(1/(-2)). Which is smaller: -21/115 or x?
x
Suppose -203*c = -200*c - 102. Is c smaller than 35?
True
Let y = -3245/2 - -1588. Let q(u) = -12*u + 1. Let w be q(3). Which is smaller: y or w?
w
Let z be (0 - -5)*1*1. Suppose -z*l - 9 + 4 = w, w + 4*l + 3 = 0. Do -5 and w have the same value?
False
Let f(i) = -4*i + 3. Let o be f(-1). Which is smaller: o or 90/13?
90/13
Let p(w) = 5*w - 8. Let j be p(6). Let a be j/4 - (-1)/2. Let f be 5/(-2) + a/(-4). Which is smaller: -6 or f?
-6
Suppose 0 = -l, f - 5*l + 2 = 15. Let n = 78 + -69. Let w(k) = 2*k - 5. Let x be w(n). Are x and f non-equal?
False
Let k be (-120)/15 - (0 + -7). Let o(p) = -p**3 + 6*p**2 - p + 7. Let u be o(6). Let m be (-3)/u*(2 - 1). Which is smaller: m or k?
m
Let f = 2711/644520 + -1/1048. Is -1 equal to f?
False
Suppose -h - h = -3*r + 4, r - h = 2. Which is bigger: r or -7/26?
r
Let a(t) = t**3 + 14*t**2 - 6*t - 12. Let l be a(-6). Let k be 228/l + (7/(-2) - -2). Which is smaller: k or -2?
-2
Let m = 0.034 + 32.966. Let k = m + -32.8. Which is greater: k or -0.7?
k
Suppose 0 = -2*x - 13*q + 10*q + 491, -3*x + 734 = 5*q. Are 253 and x equal?
True
Let x be (-1 - 2)*(-1 + 2). Let q be (14/3)/((-9)/27). Let n = 10 + q. Which is greater: x or n?
x
Let g = -694/11 - -63. Suppose 5*v - 2*d = -5, 2*v + 0*d = -d - 11. Let u be v*1/(-6)*2. Is g not equal to u?
True
Suppose -2*x - 15 - 1 = 0. Let l be 6*((-15)/(-10) + 0). Let h = l + x. Is 1 != h?
False
Let v be -15 + -1*(15 + -17). Let g be (2 + 2)*11/(-4). Which is bigger: v or g?
g
Suppose -3*v = 2*v - 210. Let i = v - 34. Which is bigger: 5 or i?
i
Let d be (-2)/8 + 936/(-96). Let a = -24/79 + -3751/395. Is a bigger than d?
True
Let p = -0.23 + -0.67. Let d = -101.893 - 0.107. Let y = d + 102.2. Do p and y have different values?
True
Let n be 210/24*(-8)/(-1). Let z = -50 + n. Let h be (z/6)/(63/27). Is 0 <= h?
True
Let c be (-4)/(2/(-2)*-1). Let d be 1*(-2)/c*0. Let x be 276/(-345)*(-6)/4. Which is greater: d or x?
x
Let v be (-12)/((24/(-9))/(20/(-15))). Let p be 2/(-6) - 96/9. Do v and p have the same value?
False
Let d(k) = k - 2. Let w be d(0). Let t be ((-12)/(-8) + -1)/((-1)/w). Is t >= 3/40?
True
Let m = -283 + 285. Is m bigger than -2?
True
Let v(b) = -b**3 + 4*b**2 + 5*b - 8. Let n be v(5). Let m = -22 - -13. Which is smaller: m or n?
m
Let l = 81.1 - 81. Which is greater: l or -193?
l
Let i(v) = v - 4*v**2 + 3 - 3 + 5*v**2. Let s be i(0). Let b be (-14)/6 - (s - 2). Which is bigger: 1 or b?
1
Let y(n) = 4*n. Suppose -3*r + 18 - 12 = 0. Let g be y(r). Let d be (-12)/g*(2 - 0). Which is smaller: -2 or d?
d
Suppose 0 = 3*f + 4*y + 23, 5*f + 2*y = 2*f - 25. Let v be 1/f + 105/(-27). Do 0 and v have the same value?
False
Let c = -4391111/138 + 31819. Let u = c - 12/23. Which is bigger: u or 0?
0
Let o = 25.2 + -25.2. Let f = -5 - -23. Do f and o have the same value?
False
Let y = -310 - -183. Let l = 624/5 + y. Is -3 smaller than l?
True
Let s = 704 + -728. Which is bigger: s or -30?
s
Let g = -25 - -3326/133. Which is bigger: 0 or g?
g
Let d be 4/6 - (-3 - (-236)/3). Let h be d/20*(-2)/(-40). Suppose 4*j + 4*q - 19 = -q, -3*j = -4*q + 9. Which is smaller: h or j?
h
Let j = -171 - -170. Which is bigger: -2/7909 or j?
-2/7909
Let z = 2763682/2021457 + -1/7571. Let v be ((-3)/(-356))/((-1)/4). Let h = z + v. Do 1 and h have different values?
True
Let x(k) = 37*k**2 - 21*k + 36. Let i be x(2). Is -2/3 smaller than i?
True
Let f = -13 - -14. Let a be (f - 0)/((-10)/20). Let r be 1*(-3 + (a - -5)). Is r at least -1?
True
Let u be -2 + 4/(-8)*-52. Suppose -26*o - 14 = -u*o. Which is smaller: -3 or o?
o
Suppose j = -3*j. Let p be (6 + j)/(0 + 2). Let s be (-7)/p*8/(-84). Is -0.2 at most as big as s?
True
Let x be (1 - 222/230)/((-330)/275). Suppose -2*h - 1 = 4*n - 9, -11 = -n - 5*h. Which is bigger: x or n?
n
Let h(u) = -u**3 + u. Let i be h(0). Suppose i*n = -5*n + 110. Let j be n/4 - (-1 + 3). Which is greater: 5 or j?
5
Let j(i) = 2*i**2 + 26*i + 179. Let x be j(-10). Is x > 0.2?
True
Let b = 51 - 60. Suppose -5*d - 55 = 2*l, -5*l - 23 = -3*d - 87. Which is bigger: d or b?
b
Let f = -1 - -2. Let i be 0/((-4 + 2)/f). Suppose -2*u + 0*u - 2 = i. Which is greater: 1/6 or u?
1/6
Let i = 624247/417 + -1497. Which is smaller: 0 or i?
i
Suppose -13*s + 19 + 1645 = 0. Is s greater than or equal to 128?
True
Let o = 48 + -52. Suppose 3*i - 5*m - 27 = 0, -2*i = -2*m - 14 - 0. Is o >= i?
False
Suppose -124*i + 3650 = -119*i. Which is greater: i or 0?
i
Let o = 0.059 + 1.071. Let u = 0.87 + o. Is 4.1 at least u?
True
Let o(n) = -n**3 - 19*n**2 + 26*n + 76. Let x be o(-20). Are x and -44 non-equal?
False
Suppose -192 = 24*i - 18*i. Let c = i + 32. Is c < -3/19?
False
Let p be 5/(-20) + (-25)/(-116). Suppose -2*f + 3*m + 0*m = 7, 3*m - 9 = 0. Which is smaller: p or f?
p
Let j = -30 + 29. Let t = -3.9 - 69.1. Which is smaller: t or j?
t
Let h = 10071 + -10079. Let b = 312 + -961/3. Which is smaller: b or h?
b
Let t be 0 - 6 - (23 + -15). Which is bigger: -18 or t?
t
Let r = 35.7 - 196.7. Which is bigger: -2 or r?
-2
Let z be (1 + 0)/((-13)/78). Suppose 2*f + 11 + 9 = 0. Let m be f/45 - z/27. Which is greater: m or -19?
m
Let v = -939 - -938. Is v at least 4/699?
False
Let d(s) = -2*s - 1. Suppose -14*v + 9*v - 15 = 0. Let z be d(v). Suppose 35 = -5*a - 5*r, 0 = a - 2*a - z*r - 15. Are -4 and a non-equal?
True
Let g be 48/658 - 6/21. Let x = 440/141 - g. Which is greater: x or 3?
x
Let t be 110/136*44*-19. Let j = -1458 - -2134. Let y = t + j. Which is greater: y or -1?
y
Let s be 14/(-10)*(-20)/10*-4. Which is smaller: -10 or s?
s
Let c = -17 - -19. Suppose 0 = -c*l + 125 + 79. Let u be 208/l - (-1 + 3). Which is smaller: u or -1?
-1
Let o(w) = -2*w**3 - w**2 + 2*w - 4. Let c be o(-3). Let a = c + -7. Which is bigger: a or 29?
29
Let o(r) = 3*r**2 + 46*r + 137. Let t be o(-3). Are t and 21 unequal?
True
Let v(o) = o**2 + 10*o - 3. Let n be v(-11). Let c(t) = -3*t + 25. Let q be c(n). Let s = 14/65 - 8/13. Which is smaller: s or q?
s
Let q(i) = -i**2 - 12*i - 9. Let r be q(-6). Let c be 126/r*4/(-18). Let d = -101/54 - c. Is d bigger than -1?
True
Let s = -22 + 1. Let m = 21 + s. Do 2/7 and m have the same value?
False
Suppose -2*s + 4 = -g, 4*s + s = -2*g - 17. Let l(f) = -4*f**3 + 5*f**2 + 3*f + 3. Let o be l(g). Let u be -3 + 0 - o/(-315). Which is smaller: u or -1?
-1
Let p be 4*(-5)/(-60)*-6*58. Is p smaller than -115?
True
Let f = 882 - 990. Is -754/7 at least as big as f?
True
Let v = 3.33 - 2.41. Which is smaller: 4 or v?
v
Let d(s) = -3*s**2 + 142*s + 53. Let t be d(48). Is -46 at most t?
True
Let c = -437967/20 - -21894. Let h = c - -18/5. Suppose 0 = -2*w + w - 2. Does w = h?
False
Suppose -4*o = -2*z + 16, -4*o - o = 5*z + 5. Let u be (-1)/z - 28/8 - -4. Let p be ((-4)/(-60))/(4/5). Which is bigger: u or p?
p
Let a be (-90)/8*22/143. Let j = -3/13 - a. Is -1/4 bigger than j?
False
Let j = 1.35 + -2.35. Which is smaller: -2/23 or j?
j
Suppose 0 = -4*o + 6*o. Let i(w) = -w**2 - w - 1. Let b be i(o). Is 2/17 at least b?
True
Suppose -28*g + 18*g = -380. Suppose -8*z = -g + 22. Let r be 2/6 + (-22)/(-6). Is r smaller than z?
False
Let x = -27 + 30. Suppose 0 = -x*p - a + 153, -p + a = -a - 58. Which is greater: p or 0?
p
Let u = 21 + -10. Let i = 15 - 25. Let q = 10 + i. Which is greater: u or q?
u
Suppose 2*r - 3*v - 45 = -2, -3*v = r - 26. Suppose 5*b + 26 = -3*g, r = -4*g + 3*b + 2*b. Let p = -5 - g. Which is bigger: p or 7?
7
Let c be (-4550)/(-6510) - ((-4)/3)/