Is j smaller than -0.08?
False
Let p = 98 - 98. Suppose -3*h + 23 = 5*m, 5*h - m + 0*m - 1 = p. Suppose 0 = -l + 2*l. Which is bigger: l or h?
h
Let l(r) = -r**2 - 38*r - 215. Let u be l(-31). Is u at most 15/26?
False
Let y = 217 - 221. Is 1/4 at most y?
False
Let m be (-340)/(-135) + 2/(-1). Which is smaller: 1 or m?
m
Let g be 2/338*1/(-3). Is g greater than 0?
False
Suppose 88 = 2*w + 86. Which is greater: w or -102?
w
Let b be (-2)/(-10)*30/8. Let x = 8.88 - -64.22. Let l = 73 - x. Do l and b have different values?
True
Let f(k) = k - 3. Let x = 8 + -3. Let a be f(x). Let c be (-4)/22 - a/(-11). Which is smaller: c or 2?
c
Let g(y) = -4*y**2 + 9*y + 14. Let b be g(5). Is b greater than -1?
False
Let s(j) = 19*j - 722. Let l be s(38). Is l at most 16/27?
True
Let y = 0.23 - 82.23. Let v = 9 - 10. Which is smaller: y or v?
y
Suppose -2*g = -0*g. Suppose -16 = w - 3*w - 2*n, g = -w - 4*n + 23. Let z be w*3/((-54)/4). Which is smaller: z or -2?
-2
Let k(o) = o**2 + 5. Let v be k(0). Suppose -v*h + h - 24 = 0. Let l be 0 - (h/2)/(-3). Is l < 2/13?
True
Suppose -3*b + 0 = 9. Let c be (1/(-2))/(b/30). Suppose n - 1 = c*w - 0, w = 0. Is 1/5 < n?
True
Let n be -41*5 + 42/7. Which is smaller: n or 2/7?
n
Let w = -12340/189917 + -2/2087. Let l = w + -1/13. Let j = -5 - -4. Do j and l have different values?
True
Suppose 4*a - 127 = -5*z, 0 = -5*a - 0*z + 2*z + 134. Let q be (3 - -1 - 2)/a. Which is greater: q or -1?
q
Let x = -131 - -128. Let w be x/(24/23)*-2. Which is greater: w or 6?
6
Let s = -252 + 248. Which is smaller: s or 1?
s
Let c = -750/7 - -8236/77. Let m = 6 - 4. Suppose -b = 4*u + 7, 4 = m*u - 2*b - 0*b. Is c < u?
False
Let f = -12.75 + 16. Let t = f - 0.25. Let j = t + -3.1. Are j and 2 equal?
False
Let v be (-2)/(3/(-3*4)). Let o be 46/(-24)*(-6 - -2). Let r = o - v. Is -0.06 greater than or equal to r?
True
Let a(d) = -d**3 + d**2 - d. Let y be a(1). Let m be (-478)/1673*(5/(-25))/((-68)/(-10)). Is m greater than or equal to y?
True
Let b(w) = -6*w + 6. Let a(f) = -11*f + 12. Let g(x) = -3*a(x) + 5*b(x). Let r be g(3). Which is smaller: 1 or r?
1
Let u(d) = -d + 13. Let g be u(9). Suppose g*k - 7 = 13. Suppose 0 = r + 3*q - 8*q - 26, 2*q = k*r - 15. Which is greater: r or 3?
3
Suppose 8 = -5*a - 7. Let m = 0 - 0. Let t = m + -1. Is a at most as big as t?
True
Let x = 22 - 20. Suppose -2*j - x*z = 0, -3*j + z + 0*z - 4 = 0. Which is smaller: j or 3/14?
j
Let c = -1.56 + -0.14. Let h = c + 2.8. Let r = h - 0.1. Which is smaller: -5 or r?
-5
Let d = -0.028 - -0.298. Let g = -3.27 + d. Which is bigger: -1 or g?
-1
Let s = -102 - -103. Which is bigger: s or -2/405?
s
Let d = 1095 + -44897/41. Suppose -m - 174 + 166 = 2*v, -4*m + 4*v + 16 = 0. Which is smaller: d or m?
d
Let u(v) = -19*v + 846. Let s be u(45). Is s at least 9?
False
Let n(z) = -2*z - 113. Let o be n(-58). Is o at least as big as 55?
False
Let v(r) = -17*r - 37. Let l be v(9). Is l >= -190?
True
Suppose 5*g + 15 = -330. Is g at most -68?
True
Let o = 17 + -4. Suppose 15 + o = 4*n. Let w be 2 - (30/n + -2). Is w at least as big as 1?
False
Let l = 1.16 + -0.16. Is 258 > l?
True
Let u be -4 + (2/(-14) - 4200/(-588)). Let k be (1/2)/((-3)/(-60)). Is u > k?
False
Let r = 2/439 + 14038/2195. Is r smaller than 7?
True
Let p be (1 + -3)*(-8 - -122). Let b be (-80)/399 + (-24)/p. Let g = 2.9 + -3. Is g equal to b?
False
Let p = -356 - -353. Which is smaller: p or -64?
-64
Let q = -7 + 19. Let r = q - 7. Which is bigger: r or 0?
r
Let o be 23/(1 - (1 + -1)) + -2. Let s be (0 + (-8)/(-42))/((-18)/o). Which is bigger: 1 or s?
1
Suppose -4*j - v = -5*v - 20, -4*v - 26 = -5*j. Let g be 1/(-2)*(3 - (-1 + j)). Is 3/65 >= g?
False
Suppose -702 - 490 = -149*k. Suppose z - 6*z - 3*n = -41, -4*n = 5*z - 43. Which is smaller: k or z?
z
Let f = 1056 + -90817/86. Let g be ((-8)/(-24))/(1/(-3)). Which is smaller: g or f?
g
Let n(i) = 2*i**2 - 13*i + 9. Let m be n(6). Suppose 2*o + 2*o - 9 = -m*r, -5*r - 49 = -4*o. Is 8 at least as big as o?
True
Let p = 148/7 + -22. Let g(d) = d**3 + 4*d**2 - 2*d - 9. Let y be g(-4). Is p > y?
True
Suppose 3*k + 5*w = -12, 4*w = -k - 0 - 11. Which is greater: 8/43 or k?
k
Let j = 599 - 493. Let o(a) = -104*a + 1. Let i be o(-1). Is j greater than or equal to i?
True
Let z = -74 - -96. Suppose 0 = 5*q - 2*r - 26, -q = 4*q - 4*r - z. Are q and 6 unequal?
False
Suppose -13*p + 43*p = -2550. Is -1/4 greater than p?
True
Suppose -16*j = -27 - 37. Which is greater: 64/13 or j?
64/13
Let t(o) = o + 2. Let c be t(5). Suppose -3*q - 108 = -c*q. Suppose 5*g - 2*h + 3*h - 27 = 0, 0 = -4*g + h + q. Is 5 greater than or equal to g?
False
Suppose -j = -4*j - 12. Let u be j/10 - (-88)/(-80). Is -0.5 greater than or equal to u?
True
Suppose -4*v - 7 - 13 = t, 0 = 3*t + v + 38. Let q = -25.6 + 26. Let r = q - 1.4. Which is bigger: r or t?
r
Let v be (11 - -2068)/(-9) - (0 - 2). Which is smaller: -228 or v?
v
Let s = -43.5 - -17.5. Are s and 2/3 non-equal?
True
Let y be (3/(-2))/((-39)/72). Let o = -25212212/9898785 - 2/253815. Let k = o + y. Is k less than 0?
False
Let k = 362 - 321. Is k equal to 39?
False
Suppose -2*s - 5*f = -4*s - 2, 0 = 4*f. Let v be s/2 + (-8)/(-16)*-15. Is v not equal to -25/3?
True
Let n be 8/(-52) - 45780/16094 - -3. Let l = -1269/19189 + n. Suppose 7*z = 4*z - 3. Is l <= z?
False
Let m = 1666/9 - 16687/90. Is m less than 13?
True
Suppose 4*l = 3*g - 8, 8*l + 10 = 3*l + g. Let j be 6/(-9) - (-20)/3. Let n be (9/j)/(18/(-8)). Is n at least as big as l?
True
Suppose 2 = 2*u, -k = u + 3*u - 24. Which is smaller: 16 or k?
16
Let f(g) = -g - 22. Let r be f(-13). Let h(o) = o**3 + 10*o**2 + 4*o - 5. Let d be h(r). Let z be d/(-16)*(-2)/10. Which is greater: -4 or z?
z
Let n(t) = -t + 13. Let i be n(0). Let j be (-24)/(((-7)/6)/(-7)). Let l be (-14)/4*j/42. Is i greater than l?
True
Let v = -23 + 22.7. Let k be ((-2)/(-4))/(25/75). Are k and v unequal?
True
Let h = -5167409/56 - -92271. Let o = -31/8 - h. Let b be 1 + 2/(-2) + 0. Which is smaller: o or b?
b
Suppose -2*v - 32 + 8 = -4*n, -2*v = -2*n + 14. Let y be (v + -1)/((-27)/18). Suppose y*g - 8 = -0*g. Which is smaller: g or 3?
3
Suppose 2*o = -5*k + 109, -2*k = -4*k - 3*o + 48. Suppose 0 = -12*s + 5*s + k. Let f be -3 + 3*(-74)/(-42). Do s and f have the same value?
False
Let l be 38/36 + 15/(-18). Is 32 less than l?
False
Let y = -198403/1440 - -1240/9. Is -1 < y?
True
Let b be (1/(-2))/((-1)/44). Let p = 1/45 + 2023/90. Which is bigger: b or p?
p
Suppose -10 = 92*j - 93*j. Which is smaller: -0.61 or j?
-0.61
Let r = 56 - 88. Is 3 at most as big as r?
False
Let l = -374 - -344. Is l at most -1?
True
Let k = 75.1 + -14.1. Let q = k + -61.2. Which is smaller: q or -18?
-18
Suppose -3*b = b + 3*c - 27, -5*b + c = -29. Let u be (-4)/(-14) - (-130)/35. Which is smaller: b or u?
u
Let j be (-210)/175*(-1)/(59/5). Which is smaller: j or -1?
-1
Let i = -13 - -15.8. Let m = i - 2.83. Let u = -1/12 + -5/12. Which is smaller: m or u?
u
Suppose -z - 92*z + 186 = 0. Are z and 99/32 equal?
False
Let w(k) = k**3 + 2*k**2 - k + 679. Let n be w(0). Is 679 > n?
False
Let z(t) = 3*t**2 + 0 + 1 - t**3 + 6*t - 6. Let y be z(4). Let g = 945 - 946. Which is smaller: g or y?
g
Suppose -2*x + 6 = -5*r, -48 = -x - 3*x + r. Let f(a) = -a**3 - 3 + a - 3 + 13*a**2 + 0. Let n be f(x). Is n less than 5?
False
Let d be (2 - 0) + -35 + 33. Suppose 2*a = -4*s + 300, -s - 2*a = -21 - 48. Which is smaller: d or s?
d
Let z be (-7)/35 - (-61)/5. Let h be (-3)/z*-2*16. Suppose 3*r + 29 = h. Is r != -6?
True
Let l = -114.8 - -114.3. Which is greater: -31 or l?
l
Let h = 145 + -157. Which is greater: h or -8?
-8
Suppose -4*v = 20, 14 = -2*t - 5*v - 215. Does t = -103?
False
Suppose 5*v - 18 = -3*u + 2*u, 2*v - 4 = -2*u. Let q = 11 - u. Is q > -0.1?
True
Let n = -4 - -6.9. Let x = 2.7 - n. Is x greater than or equal to -2/13?
False
Let f = 0.1 + 1.3. Let d = -0.4 + f. Let a be 2/7 + 165/(-308). Are a and d non-equal?
True
Let d = -119.1 + 119. Is d <= -79?
False
Suppose 7*i + 51 = 44. Which is smaller: i or -36/53?
i
Let d = 1 - 0.4. Let i = -16.6 + d. Let t = -14 - i. Are t and -1/5 equal?
False
Let h = 85 + -86.6. Let r = 0.06 - 1.26. Let c = r - h. Which is smaller: 0.1 or c?
0.1
Let m = 510 - 512. Which is smaller: m or 130?
m
Suppose 