 - 6 = 0, 4*i = 20. Which is smaller: s or 14?
14
Let m be ((-28)/12)/(1/(-3)). Let t = 57 + -94. Let d = t + 43. Is m >= d?
True
Let d = 19.128 + -0.128. Let k = d + -8. Let p = 0.1 + 0.9. Is p > k?
False
Let q = 689/116 + -11/58. Let r(w) = -2*w**2 - 13*w + 12. Let p be r(-7). Are q and p equal?
False
Suppose -2*h = 3*h + 80. Let b = h + 18. Suppose -4*t - b = 3*i, -6 = 4*t + 3*i - 2*i. Does t = -24/11?
False
Let w = -19.2 - -23. Let t = -4 + w. Let h = -24.1 - -24. Is t <= h?
True
Let i be -3*(-3)/(-30)*-1. Let w = -11 - -17. Suppose k + 5*k = w. Which is smaller: k or i?
i
Suppose 0 = -3*v - 2*a + 39, v + 4*a = 5*v - 32. Suppose 44*r + 91 = 51*r. Let n = r - 1. Which is smaller: v or n?
v
Suppose -4*q + 0 = -8. Let x = -672 - -4719/7. Is q at least x?
False
Let u be 0 + 106/10 + (-6)/(-15). Do u and 12 have different values?
True
Let m = -77 + 78. Let c = 7.5 + -14.8. Let s = -7 - c. Is s at most m?
True
Let s be (-230)/12 - (3 - (-38)/(-12)). Let p be ((-4)/10)/(1/(-10)). Let w = -14 - p. Does s = w?
False
Let a = -432 - -193. Is a greater than or equal to -241?
True
Let a = -26957/46 - -586. Let w = 17/253 + a. Is 0 at least as big as w?
False
Suppose 2*m - 118 = -82. Is m <= 19?
True
Let l be (1*-2)/((-289)/102). Which is smaller: 2 or l?
l
Let v(y) = -y - 3. Let s be v(-3). Suppose 9*d - 7*d + 16 = s. Which is smaller: -15/2 or d?
d
Let t = -207 + 192. Is 0.1 at least as big as t?
True
Let i = 77.667 - -0.533. Which is bigger: -1/3 or i?
i
Suppose 252 + 495 = -9*v. Which is bigger: v or -80?
-80
Let n = -1192 + 740. Which is smaller: 2/5 or n?
n
Let b = 24 + -77. Let c = 50 + b. Do c and -0.2 have the same value?
False
Let k = 1505.15 - 1505. Are 10 and k equal?
False
Suppose -39*t + 868 = -107. Is t > 2/3?
True
Let h = -0.29 - -7.19. Let i = 0.1 + h. Let s = i + -11. Are s and 2 non-equal?
True
Let j be (-25 - (2 + -1)) + -1 + -1. Is -0.3 bigger than j?
True
Let c be (-3)/12 + (3 - 895/340). Is c greater than or equal to -1?
True
Let h be ((-7)/14)/(7/(-2)). Let g = 2 + -3. Which is smaller: g or h?
g
Let w = -1/853 + -795/49474. Let z = 16/87 + w. Is z smaller than 1?
True
Let m(c) = -c**2 - 3*c - 2. Let p be m(-4). Let q be (-44)/(-2) - ((-16)/2 - p). Is q not equal to 22?
True
Let a = -8 + 84. Let p = -75.63 + a. Let d = p + -4.37. Is d less than 1?
True
Let y = 127 - 128. Is y at least as big as 1.34?
False
Let g = -0.198 - -0.798. Is -1/15 greater than g?
False
Let i = 36731/156992 + 1/2453. Which is bigger: -1 or i?
i
Suppose 0 = i + 7 - 15. Let d(y) = y - 24. Let n be d(6). Let u be 1/3 + (-138)/n. Is i smaller than u?
False
Suppose -2703 = 33*s - 7521. Which is bigger: s or 579/4?
s
Let t = -16126/9 + 1792. Is -315 <= t?
True
Suppose -86 = l - 2*o, 32*o + 173 = -2*l + 37*o. Is l at least -81?
False
Let w be ((-2)/3)/((-15)/(-18)). Let i be 3/(-12)*-2*-58. Let f = i + 28. Is w greater than f?
True
Let o be ((-4)/(-6))/(4/(-562)). Let i be (17/(-87))/(5/2395). Let w = o - i. Is w greater than -1?
True
Let p = 3 - 4. Let o be (-9)/(-4) + ((-9)/(-12) - 1). Suppose -49 = o*f - 51. Is f at most p?
False
Suppose -44*h + 156 = -31*h. Let f = -23 + 33. Which is greater: h or f?
h
Let r = 493 + -265. Suppose 3*a = -30 + r. Let j be a/(-63) - (-8)/(-12). Is -2 < j?
True
Suppose -55 = 5*r - 0*r. Suppose 0 = -5*b + 3*q + 29 - 110, 5*b + 75 = 5*q. Let n be ((-6)/(-9))/(r/b). Which is greater: n or 2?
2
Let m be 3*-4*(-5)/20. Suppose u = -u + 4. Let k be (u/m)/(16/60). Are k and 3 non-equal?
True
Let i(m) = 2*m**2 + 43*m + 24. Let t = 99 + -120. Let y be i(t). Which is smaller: y or 4?
y
Let y = 10.3 + -81.3. Let g = 68 + y. Which is greater: -0.07 or g?
-0.07
Suppose 3*d - 2*r - 2*r = -14, 4*d = 4*r - 12. Suppose 0 = -3*w - 3, 1 = -d*f + 3*w - 0. Let h = 1024 + -3074/3. Is h greater than or equal to f?
True
Let p(r) = -r**3 + r**2 + 3*r. Let o be p(-3). Which is bigger: 26 or o?
o
Let y = 3 - -1. Suppose -2*t + 20 = -y*p - 6*t, 4*p + 11 = -t. Let q be 550/30 - p/(-6). Which is smaller: q or 19?
q
Let i be (-6 - (-75)/12) + (-4657)/36. Let f = -129 - i. Does f = 1/3?
False
Let d be (6/(-5))/(-8 - (-168)/20). Let w = d - -20. Which is greater: w or 19?
19
Let b be (-2)/(-9)*3/(-582). Let y be (-7768)/(-72)*(-1)/(-97). Let g = b + y. Is 2 less than g?
False
Suppose -1435*h = -1425*h - 380. Which is smaller: 53 or h?
h
Suppose -5*p = 26 - 41. Suppose 16*c + p = -29. Does -9/7 = c?
False
Let x = -5 + 5.3. Let i = -0.139 - -0.252. Let y = i + -7.113. Is y greater than x?
False
Let y be (1/(-8))/(12/8). Which is greater: y or -1?
y
Let k = -1520 - -1526. Is 34 at most k?
False
Let m = 11/17 - 336/493. Do -1 and m have different values?
True
Let y = 125 - 128. Is y at least -13/7?
False
Suppose -2*c + 23 = -d, -12 - 4 = -c - 4*d. Suppose 5*i - c - 33 = 0. Suppose 0 = -b - 2*b - 5*w + 27, -9 = -b + 2*w. Is b smaller than i?
False
Suppose -2 = 3*y - 4*m - 10, -2*y = 2*m + 4. Let a = 10.982 - -0.018. Which is greater: a or y?
a
Let x = -7.52 + 8.12. Which is smaller: 45 or x?
x
Let u = 0.6 + -1.6. Let z = -13 - -8. Let s = -4.87 - z. Which is greater: u or s?
s
Suppose 4*i - 73 = 7. Suppose 3*t - 3*q - 3 = 0, -2*t = -7*t + 2*q + i. Are t and 8 nonequal?
True
Let v(u) = 12*u + 36. Let x be v(-3). Let c = -31568/7 - -293212/63. Let y = -144 + c. Which is bigger: y or x?
y
Let x = -851/5 + 171. Let w be 14/(-6) + 0 - -2. Which is greater: x or w?
x
Let a = -553 + 553. Which is smaller: a or -0.35?
-0.35
Suppose 3*y = 2*d - 9 + 16, 3*d + 3*y = 12. Let a be (6/5)/(54/4). Does a = d?
False
Let v(h) = 8*h**2 - 17*h + 59. Let l be v(3). Which is bigger: -9 or l?
l
Let d = -2256 - -83482/37. Let z(c) = c**2 + 4*c + 1. Let b be z(-4). Which is bigger: d or b?
b
Suppose 55*f + 2*j = 59*f - 6, 5 = 5*f - 3*j. Suppose -n + 12 = -2*h + 7*h, -4*h + 2*n + 18 = 0. Suppose h*s = 1 - f. Are -3/31 and s nonequal?
True
Let l(j) = j + 16. Let z be l(-8). Suppose 2*v = -0*v + z. Suppose v*q + q = 0. Which is greater: -7 or q?
q
Suppose -61*s = -65*s + 636. Which is greater: 160 or s?
160
Suppose 3*s = -3*x + 78, 35*s - 2*x - 78 = 32*s. Let r be (4 - 3)/((-2)/(-50)). Which is smaller: r or s?
r
Let z(a) = -a**3 + 7*a**2 - 2*a + 7. Let g be z(7). Let r = g - -8. Is -2/77 bigger than r?
False
Let g = -156 + 201. Suppose 0 = 5*p - g + 15. Which is greater: 56/9 or p?
56/9
Let z(i) = -i**2 + 2*i + 28. Let r be z(7). Do r and 1 have different values?
True
Let o = -2/657 - -1376/20367. Is -2/5 at least o?
False
Let o = -12/5 - -39/10. Which is bigger: -0.17 or o?
o
Suppose -1218 = c + 13*c. Which is smaller: -84 or c?
c
Let a = -10/13 - -76/65. Let v be (-75)/(-15) + (-1 - (-2 + 5)). Is v < a?
False
Suppose -5 = -4*p + 7. Let j be p/6 - 3/2. Let f be (6/(-54))/(2 + -3). Is j less than f?
True
Let l be ((-51)/(-6))/(20/8) + -2. Is 2 less than l?
False
Let a be ((-6)/14)/((-7)/49). Suppose 2*x + x - 6 = 0. Suppose 4*l = -3*j + 8*l + a, 0 = -x*j + l + 2. Which is smaller: 0 or j?
0
Let l(d) = 7*d**2 - 17*d + 13. Let h(n) = 28 - 35*n + 15*n**2 - 4 + 3. Let g(f) = -6*h(f) + 13*l(f). Let a be g(11). Which is bigger: 8 or a?
8
Let y = 2.3 - 21.3. Let p = 21 + y. Let r = 2.7 - 3. Which is bigger: r or p?
p
Let u = 0.412 + -0.212. Is -31 at least as big as u?
False
Suppose -6*l = 13*l - 4*l. Which is smaller: 12/35 or l?
l
Let s = 1 - -3. Let g = s - 3.6. Let p = -51 - -51.2. Is g bigger than p?
True
Suppose -23*s + 18*s - 10 = 0. Let x = s + -4. Which is smaller: x or -10?
-10
Let w(s) = -s**2 + 11*s - 1. Let m be w(11). Which is smaller: m or 1/1383?
m
Let k(h) = -2*h + 41. Let m be k(17). Let q = m - 9. Suppose -x - 2*x + 6 = 0. Is q less than or equal to x?
True
Let i be (-5390)/(-25) - (-6)/20*-2. Is 213 greater than i?
False
Let f = 1705 - 1726. Is f bigger than -5?
False
Let u = -0.0322 - 0.0678. Is u > 241?
False
Suppose -2*l - 1899 = 22*f - 17*f, -3*l - 2820 = -2*f. Which is smaller: l or -943?
-943
Let h = 40 - 39.983. Let k = -0.017 + h. Which is smaller: k or -44?
-44
Let l = 63 + -59. Let i(s) = -4*s - 2. Let m be i(3). Let o = l + m. Is -8 greater than o?
True
Suppose 3*w = 4*i + 15, 7 = -3*i - 2. Is w at most as big as 9/299?
False
Let s(g) = -g**3 + 7*g**2 + 11*g - 7. Let p(y) = 7*y**2 - y. Let a be p(-1). Let f be s(a). Suppose 0 = -d + 2*v - 8, 0*d - 3*v = d - f. Is d