or h?
1082
Let w be (-3 + 5)*10/25. Which is bigger: w or 3?
3
Suppose 4*h + 3 = -t, 3*h = -3*t - 0*t. Let m be (2/380)/(2/12). Let q = m + 127/1995. Does t = q?
False
Let z = -75 - -43. Let o = -26 - z. Which is smaller: 35/6 or o?
35/6
Let m = -11 + -4. Let v = m + 16.5. Let d = v - 2.5. Which is smaller: 0.1 or d?
d
Let n(m) = 2*m**2 + 31*m - 38. Let q be n(-13). Is q at least as big as -102?
False
Let p be (0/9)/(1 + 1). Suppose p = 3*s - 9. Suppose -s*a = -2 - 1. Is -1/5 equal to a?
False
Let g be (-4 - 1) + 2/8*0. Let f be (g - -14)*(-5)/((-15)/(-2)). Which is bigger: -4 or f?
-4
Let u(l) = 79*l - 5. Let x be u(-1). Which is greater: 2 or x?
2
Let q = -5 + 8. Suppose 2*g - 5*b = 8, q*b = -5*g + 21 - 1. Let k = -20 - -45/2. Is g greater than k?
True
Let t = 230 - 232.3. Which is smaller: -3/5 or t?
t
Suppose -25*t + 43*t = 270. Suppose 5*j = -4*d + 70, -3*j = d - j - 19. Is t at most as big as d?
True
Suppose 0 = -3*l + 2*b + 5, 3*l = 2*l - b. Let w be l/(-7)*133/(-38). Is -0.03 not equal to w?
True
Let a = -0.602 + -0.398. Is -82 >= a?
False
Let s = -0.09 - 4.47. Let r = 0.56 + s. Are 5 and r equal?
False
Let u = 0.82 - 1.35. Which is smaller: -0.2 or u?
u
Let c = 12 - 8. Suppose 4*a = -5*w - 0*w + 37, a - 23 = -c*w. Suppose -4*r = -a*r - 1. Is -3 smaller than r?
True
Let y = -60 + 92. Let x = -37 + y. Are x and 3 equal?
False
Let l be 14 + (-16)/4 - -1. Suppose l*c = 6*c. Let y be 12/(-20)*(-10)/8. Is y <= c?
False
Suppose 4*i - 24 = -t, 3*t + 28 = 5*t + 4*i. Suppose -2*w + 151 = 147. Which is greater: t or w?
t
Let o be (-5 + 2)/(-6)*-19*-2. Let x be o*1/12 - (-2)/3. Which is smaller: x or 1?
1
Let l = -4 - 1. Let m = l + 10. Suppose 2 = 3*n + m. Which is greater: n or -2/21?
-2/21
Let l = 414 - 841/2. Is -7 greater than l?
False
Let u = 24 + -22. Let v(l) = -6*l. Let d be v(u). Let s = 6 + -17. Is d > s?
False
Suppose 0*j = -5*t + 5*j - 10, -2*t = 3*j - 11. Which is greater: -6/245 or t?
t
Let o be (2 - 2 - -2) + -1. Let l be ((-3)/(-2))/((-7)/((-784)/12)). Let j be (o*-1)/(7/l). Which is smaller: j or -8/5?
j
Let x(w) = -w**3 + 12*w**2 - 10*w - 14. Let t be x(11). Let n be (-14 - (-9)/t)*1. Let q = -19 - n. Which is smaller: -1 or q?
q
Let h = -0.12 + 0.82. Let s = h - 0.9. Is 0 greater than s?
True
Let h = 3 - 7. Let q = 365 + -371. Which is bigger: q or h?
h
Let h be 6/(-8) - (3333538/440)/(-13). Let g = 582 - h. Which is smaller: g or 0?
g
Let t = -0.8 + 0.7. Suppose -24 = -5*d - 4. Let b be 1/(-2) - 22/d. Which is smaller: t or b?
b
Let a be (2/28)/((-11575)/(-5790) + -2). Let h = a + 83. Which is bigger: 6 or h?
6
Suppose 3*b + 14 = 4*t + 2, 0 = -5*t + 4*b + 15. Suppose 28 = 5*q - 2*v, -42 = -4*q + 3*v - 14. Which is smaller: t or q?
t
Let c = 30/23 - -370/69. Is c < -1/3?
False
Let d = -11950/3 + 3928. Which is smaller: d or -56?
-56
Let i(d) = 5*d + 113. Let h be i(-23). Which is greater: h or -28/9?
h
Let v(f) = f**2 + 2*f + 1. Let q be v(0). Does q = -1.7?
False
Let t(n) = -n**3 - 3*n**2 + 5*n + 3. Let a be t(-3). Is -90/7 bigger than a?
False
Let w be (-38)/(-10) - 4/(-20). Suppose -25 = -5*m, t - 5*m + 103 = w*t. Is 27 bigger than t?
True
Let t be (-8)/40 - (136/(-5) - -1). Let g = -21 + t. Which is smaller: g or 8?
g
Let o(g) = g**2 - 11*g + 9. Let f be o(9). Let m = 11 + f. Let t be 6 + 8 - 4/m. Which is greater: t or 11?
t
Let s = -954 - -608. Is s less than or equal to -346?
True
Let v = -0.918 + 0.85. Is -0.2 less than or equal to v?
True
Suppose 22*d + 6444 = -14*d. Which is smaller: d or -177?
d
Let t = 0.54 - 0.7. Let m = 0.09 + t. Let l = m - -0.17. Which is greater: l or -1?
l
Let q be ((-1)/4)/(3/(-4)). Let n(v) = -v**3 - 78*v**2 + 73*v - 467. Let d be n(-79). Which is greater: q or d?
d
Let n(x) = -2*x**2 + 1. Let a be n(0). Suppose -2*y - 2*k - 11 = 3*k, 0 = -4*y - 3*k - a. Is 4 less than or equal to y?
False
Let w be 2*((-48)/(-2))/4. Let t be 2/w*-4*3. Which is smaller: 11 or t?
t
Let h = 7/19 - 237/76. Is 2 greater than or equal to h?
True
Suppose 1437*f + 35 = 1444*f. Let m(n) = n + 8. Let h be m(-6). Is h < f?
True
Let n(p) = 2*p**2 + 3*p - 3. Let z(a) = a. Let x(q) = n(q) - z(q). Let g be (-16)/5 - (-3)/15. Let d be x(g). Is d >= 10?
False
Let m = -13373/105 + 1274/15. Is -43 bigger than m?
False
Let o be 0/2*2/(-4). Let d be 14/2 + (-455)/65. Suppose o = 4*r + 4, 5 = 2*n - d*n + r. Is -2/3 at most n?
True
Suppose 15 = 4*w - 5*i, -5*w + 11 = -4*i - 1. Which is smaller: w or 2/1039?
w
Let d be (36/(-16))/(4/64). Let r = -71/2 - d. Which is smaller: r or -7/4?
-7/4
Suppose -18*w - 4 = -3*x - 16*w, -5*x + 4 = -2*w. Let z = -11 - -15. Suppose -z*b + 2*a - 3 = 5, -4*b = 3*a - 2. Is b at least as big as x?
False
Suppose -4*s + 8 = -0*s + 2*u, -2*s = -5*u + 20. Which is smaller: s or 5/132?
s
Suppose -601 = 17*d - 19*d - 5*z, -z = -4*d + 1235. Which is smaller: d or 309?
d
Let l = -8 - 3. Let q(p) = -p**2 + 10*p - 12. Let x be q(10). Do l and x have the same value?
False
Suppose 3*d - 7*d + 4*r = -24, 3*d - 22 = 4*r. Let z be (4/(-12))/(d/(-6)). Let m = 3/283 + -641/7075. Is m greater than or equal to z?
False
Let q(k) = -2*k**2 - 8*k - 5. Let z(x) = -3*x**2 - 15*x - 11. Let v(d) = 5*q(d) - 3*z(d). Let f be v(6). Let r be ((-1)/(-12))/(4/36). Which is smaller: f or r?
r
Suppose 3*c = -32 - 25. Let a = -16 - c. Suppose 2*z - a*z = -13. Is z bigger than 13?
False
Let l = -2 - -6. Let y be (0 - 1 - -1)/(-4 - -3). Suppose -l*m - m - 2*t + 1 = 0, y = -4*m + 4*t + 12. Is 4/15 greater than or equal to m?
False
Let u be (-32)/(-14) + 8/(-28). Let o be (-3)/u + (-6)/4 + 2. Is o < 0?
True
Let p(k) = k + 6. Suppose 4*s - 20 = -0*s. Let r be p(s). Is r not equal to 11?
False
Let u = -0.0537 - -4.0537. Is u < 3.5?
False
Let k = 1.496 + 154.504. Is 2 at least k?
False
Let i be 3*4/(-18)*(-2739)/166. Which is greater: -0.26 or i?
i
Let a = 0.024 + 21.976. Let y = 22 - a. Which is smaller: -0.2 or y?
-0.2
Let b be (-2)/4*(5190/(-738) - -7). Suppose -2*f + 0 = -4, -4*l - 2 = f. Is l at least b?
False
Let f be (4 - 2) + 187/(-11). Is -0.8 smaller than f?
False
Let i = -1.9894 + -0.0106. Is i at least 0.1?
False
Let o(a) = -a**2 + 18*a - 5. Let s be o(17). Let j be 5/(-5) - s - 1. Let p be (j/(-21))/((-1)/18). Is -12 smaller than p?
False
Let p = 397 - 28. Is p greater than or equal to 0?
True
Let v be 0/6*(-2)/4. Let n be v*4/(-40)*-5. Which is smaller: -3 or n?
-3
Let a(h) = h**3 + 5*h**2 - 10*h - 13. Let b be a(-6). Let i be (-10 + b)/(1/17). Let c = 17 - i. Which is smaller: 2/9 or c?
c
Let n = -1975 - -1535. Is -440 at most as big as n?
True
Let g be (10/(-15))/(2/3). Let h be -4 - (-1 + -1*(g - -3)). Which is greater: h or -2?
h
Let i(t) = 83*t**3 + t**2 - 3*t + 1. Let q be i(1). Which is greater: 87 or q?
87
Let z be 42470/10615 + -4 - 0. Which is smaller: z or 0?
0
Let l = 859/297 - 31/11. Let m be (-36)/8*(-4)/(-3). Let g = m - -6. Is l < g?
False
Suppose -q = 2*f + 2, 0 = f - 9*q + 4*q + 12. Is f at most -36/17?
False
Suppose -30*i = -81*i - 51. Is -2/2317 less than or equal to i?
False
Let j be 25 + -22 - 46/14. Which is greater: 1/26 or j?
1/26
Let p = 1617/14089 - 8/73. Do 0 and p have the same value?
False
Let f(l) = 8*l**2 - 132*l + 22. Let k be f(16). Which is smaller: k or -3/4?
k
Let v be 5/(1 + 25/(-30)). Suppose 0 = 3*n + 2*r + 18, n + v = -4*n + 4*r. Suppose -6*c + 5*c - 4 = 0. Is c < n?
False
Let b = 0.345 + 0.655. Which is smaller: b or 0.03?
0.03
Let m(x) = x**3 - 6*x**2 + 2*x - 4. Let k be m(6). Let y be (-267)/126*1/k. Let t = y + -1/48. Is t < -1?
False
Let y = -3.979 - -0.779. Let c = 0 + 0.2. Is c > y?
True
Let h = -247/475139 - 4/4613. Is h < 1?
True
Let r = -335 + 335. Which is smaller: r or 1150?
r
Suppose -2*i - 4*y = 32, 21 = i + y + 33. Is i at most -17?
False
Let g = 163 + -1791/11. Is -2 >= g?
False
Let s be 1032/(-25327) + 2/19. Is -1 <= s?
True
Let x(b) = -5*b - 55. Let q be x(0). Let m = q + 64. Which is bigger: 11 or m?
11
Let t = 436261770/71 - 6142941. Let i = -1591 + t. Which is greater: i or -1?
i
Let w be 20/((-3)/6*-2). Suppose -3 + 41 = 2*o - 5*j, -19 = -o + j. Is w at least as big as o?
True
Let k = -9.25 + -134.65. Let c = -158 - k. Let r = -14 - c. Which is greater: -15 or r?
r
Suppose -2*m + i - 4 = 1, 45 = -5*m - 4*i. Let h be 1/(-6)*(-15)/m. Is -3/11 greater than or equal