maller: a or h?
h
Let a = 1104 - 1128. Is 13 > a?
True
Let r be (1 + -1 - 0)/2. Let d be (-2)/2*-218*(-2)/598. Let g = -15/23 - d. Which is smaller: g or r?
r
Let n = 0.8 - 9.8. Let m = n + 13. Let b = m - 3.3. Do b and -1/2 have different values?
True
Let u be ((-6)/15)/(7/(-4620)). Suppose -7*w + u = w. Let q be (18/(-4))/(-3)*22. Is q > w?
False
Suppose -5*m = -10*m + 5. Let p be (60/14)/((-468)/189). Let y = p - -997/546. Do y and m have the same value?
False
Suppose -z + 8 = 3*z. Suppose 2*x + 0*x = -z. Let f = 0 + x. Which is smaller: -3 or f?
-3
Let q = -2082 - -2093. Which is bigger: q or -32?
q
Let p = 0.025 + -0.025. Which is smaller: p or -0.1251?
-0.1251
Let d = 3.57 + -3.53. Let a = 190 - 2088/11. Which is bigger: a or d?
a
Let u(m) = 16*m**2 - 2*m - 7. Let x be u(-2). Suppose -3*o + 86 = -x. Is o at most 49?
True
Let p = -189 - -1703/9. Let x(j) = j - 2. Let b be x(-2). Let f be b/10 - (-4)/35. Which is greater: f or p?
p
Let q = -76126/7 - -10875. Let c = 0 - 1. Which is smaller: c or q?
c
Let r be (47/(-2) + (-5 - -5))*-2. Let m = 40 - r. Is m at most as big as -9?
False
Let h = 0.429 - -88.871. Let j = h - 100. Which is bigger: j or 1?
1
Suppose x = 4*x - 3, 0 = 5*d - 5*x - 25. Suppose 7*p = 10*p + d. Is -1 less than or equal to p?
False
Let j = 1 - -3. Let t be j/(-28) + (-83)/7. Let w be (-3)/4 + (-3)/t. Which is smaller: -1 or w?
-1
Let o = 25 + -13. Let k = -16 - -37. Let r be (-1)/(4/(o/k)). Which is smaller: 0.1 or r?
r
Suppose 3*k - 3*x = 27, 4*k = -6*x + 3*x + 8. Suppose 5*b + 8 = -2*d - 1, 3*b = -2*d - 7. Let p = k + b. Is p at most as big as 7?
True
Let o = -128.6 + 128.99. Which is greater: 1/4 or o?
o
Suppose -3*p + 1 + 5 = 0. Suppose p*u - 5*r = -1, 20 = 5*u - 5*r - 15. Let l be (u/63)/((-2)/3). Is l >= -0.1?
False
Suppose 3*p - 15 = 0, -b = -0*p + 5*p - 3. Is -20 <= b?
False
Suppose -o = 2*p - 83 - 22, 4*p - 4*o = 216. Is 54 at most as big as p?
False
Let l = -2/7 - -39/14. Let c = 32.5 - 31. Let i = c - -0.5. Which is greater: l or i?
l
Let g = -166 - -91. Let v be g + (2 + 1)/(-3 + 2). Is -78 greater than v?
False
Let x = 55 - 182. Is x not equal to -127?
False
Let i(n) = 30*n**2 - 2*n + 2. Let g(z) = -z**2 + 7*z - 11. Let j be g(3). Let r be i(j). Is 31 equal to r?
False
Let s = 1593 - 7827. Let v = 7437160/1193 + s. Let c = v + 4798/15509. Is -1 at most c?
True
Let o = 59 - 28. Let h = o - 12. Which is greater: 18 or h?
h
Let m = 68 + -75. Let c be ((-99)/((-6)/2))/1. Suppose 3*b + 3*h = -c + 12, -5*b = 2*h + 38. Which is smaller: b or m?
b
Suppose -5*p - 2211 - 468 = -4*z, -2*z + 531 = -p. Is p >= -539?
True
Suppose -39 = -4*n + 29. Let q = 34 + -15. Which is greater: n or q?
q
Let b = 24 - 9. Let c be (-10)/12*((-80)/b - -4). Which is smaller: 0 or c?
0
Let c be 6 - (-17)/(17/88). Which is bigger: c or 93?
c
Let o be 3/6 + 38/(-4). Let y = o - -45. Which is smaller: y or 37?
y
Let q = -3 + 5. Suppose 2*m - 4*f = -8, -3*m - 3*f - f + 18 = 0. Let o be (m - 3)/((-5)/15). Which is greater: o or q?
o
Let d = -1/15 - 4/15. Is d not equal to 74?
True
Suppose -19 = 13*h + 20. Let i be 0/h + (30/(-8) - -4). Is -0.1 less than or equal to i?
True
Let r = -2.13 - -2. Let c = r - -6.13. Let t = 6.1 - c. Is t greater than or equal to 0.08?
True
Let w = -20/3341 + -13306/1125917. Let r = w + -4339/2359. Which is bigger: r or -0.1?
-0.1
Suppose -2*a - 8 = 5*m - 1, 2*a = 2*m. Is 2/519 bigger than a?
True
Let n be 4 - (-300)/(-70) - 488/350. Is -3 less than n?
True
Let a(d) = 4*d - 8. Let b be a(4). Suppose 3 - b = -f. Suppose 3*s - f*s + 2 = 0. Which is smaller: 5/9 or s?
5/9
Let h = 126 - 127. Which is greater: 125 or h?
125
Suppose -2 = 2*v - 0, -3*n + 2*v = -5. Suppose 4*p - 2 = 6. Let w be 0 - (12/33)/(p/1). Do n and w have the same value?
False
Let v = 64 + -36. Let r be (21/(-6))/(102/v) - -1. Which is smaller: 0.1 or r?
r
Let y(w) = w**2. Let f be y(0). Let b(j) = j + 2. Let c(v) = -v. Let s be c(4). Let a be b(s). Is f < a?
False
Let j = -15.71 - -14.7. Let g = -0.01 - j. Is 3/7 <= g?
True
Let n(z) = -5*z**3 + z**2 + 4*z. Let y be n(-2). Let b = -17 - y. Is b equal to -53?
True
Let p(h) = -4*h**3 - 3*h**2 - 7*h - 14. Let f be p(-2). Is 19 at most as big as f?
True
Let d = -457 - -600. Which is smaller: 145 or d?
d
Let p = 39 - 40. Which is greater: p or 1/109?
1/109
Let w = -3 + 8. Let m(j) = j**3 + 11*j**2 - 2*j - 15. Let s be m(-11). Which is smaller: w or s?
w
Let x(l) = -4*l**2 + 7*l - 4. Let i be x(1). Which is greater: i or 5/31?
5/31
Let c(x) = 63*x - 64*x + 0*x**3 + x**2 - 4*x**3 - 1. Let d be c(-1). Suppose h + d = 4. Which is smaller: h or 1?
h
Let m = -353 + 353. Which is bigger: -43/5 or m?
m
Let n(a) = -a - 11. Let m be n(5). Which is greater: m or -17?
m
Let n = 1490 - 25338/17. Which is bigger: n or -1?
n
Let t = -158.1 + 151. Let w = t - -7. Let c = 31 + -23. Which is bigger: w or c?
c
Let s = 86.93 + -11.93. Let z be (-28)/(-80) - (-3)/(-5). Is s < z?
False
Let f = -24/5833 + -5570203/75829. Let s = 73 + f. Let d be 1/(-3) - (-4)/3. Are d and s equal?
False
Suppose 21 = u + 6. Suppose -u = -3*h, 3*h = 3*w - 2*w + 14. Which is greater: w or -3/16?
w
Suppose -3*s + 17 - 8 = 0. Let g be ((-3 + s)/((-2)/2))/2. Is g equal to -2/5?
False
Suppose 0 = -q - 2*a + 1, q = -3*a + 5 - 4. Let o be -14 + 4/1 + q. Let t(c) = c - 16. Let w be t(7). Is w greater than or equal to o?
True
Suppose -15*l + 3267 = -1593. Are 324 and l unequal?
False
Let b(t) = -9*t**2 - 24*t + 9. Let j be b(-3). Which is bigger: j or -2/241?
j
Let a be (-2042)/16*-4563 - 1. Let q = -583142 + a. Let n = -789 - q. Which is greater: n or 1?
n
Let z = 267 + -267.111. Is 0 less than or equal to z?
False
Let l be ((-154)/33)/((-1)/(-6)). Let x = -200/7 - l. Which is bigger: x or -1?
x
Suppose -37*d - 952 = 31*d. Is -71/5 greater than d?
False
Let h(a) = 6*a - 10. Let y be h(2). Suppose -1 = -4*v - 133. Let u be 22/v*1/y. Which is bigger: u or 6?
6
Let v be (27/3 - 6) + 764. Is 766 != v?
True
Let y = -129 + 91. Let m = y - -39. Is -2/5 greater than m?
False
Let s = -22 - 3. Let f = s + 29. Suppose -4*i + 18 = h + 4*h, 5*h - 6 = 2*i. Is i >= f?
False
Let v(s) = -15*s - 71. Let a be v(4). Which is smaller: a or -2?
a
Suppose 10*f + 93 = -147. Which is bigger: -25 or f?
f
Let v be 4/20 + 3092/10. Let l = 307 - v. Let n = 32 - 35. Is n less than or equal to l?
True
Let w = -302 - -301. Which is smaller: w or 1/102?
w
Let d = -10/69 + -739/138. Let r(j) be the third derivative of -j**4/24 - j**3/3 - 5*j**2. Let z be r(3). Which is bigger: d or z?
z
Let v be (-28)/(-1)*(-3)/(-4). Suppose -4*q = -4*o - 11 - v, 4*o = -q + 28. Let g be (-50)/28 - q/(-42). Are 2 and g unequal?
True
Let c = 0.343 + -4.343. Is -28 greater than or equal to c?
False
Suppose 7*y - 6*y = -6. Let s be (-6)/y - 24/(-4). Which is smaller: 9 or s?
s
Let v = 44 - 28. Let y = 74 + -30. Let p be -1*y/v - -3. Is 1/13 at most p?
True
Suppose 31 = 3*x - 14. Let w = x - 17. Let f(o) = 3*o**2 + 2*o + 1. Let i be f(-1). Which is smaller: i or w?
w
Let u = -2.3 - -3.1. Let x = -3.2 - u. Is 1/4 less than x?
False
Let h = 2/105 + -319/210. Suppose -3*r + 10 = 1. Suppose -g - r = 2*g. Is h bigger than g?
False
Let k(n) = -n**3 + n + 0*n + 2*n**3 + 2 + 0. Let p be k(0). Let v be ((-192)/(-80))/((-12)/(-4)). Which is bigger: p or v?
p
Let l = 103 - 97.9. Let s = l + -27.1. Let f = s - -22.7. Is f greater than or equal to 1/3?
True
Let z = -75 + 48. Let l be 4/((420/(-75))/((-4)/(-10))). Is l less than z?
False
Suppose -s = s + 3*z + 9, 0 = -5*s + 3*z - 12. Let p = 10 + s. Suppose p*k - 8*k = 7. Is k bigger than -7?
False
Let x = -26.1 + 27.9. Which is smaller: x or 3?
x
Let f = 1 - -1. Suppose -n = -10*n + 36. Suppose -n*y - f*p + p = 28, 0 = 5*y - 4*p + 14. Do y and -4 have different values?
True
Let r = -175 - -175.189. Let j = -0.011 - r. Is j greater than 0.7?
False
Let c be 7 - (2 + -4 + -18). Is 31 < c?
False
Let n be (-10)/3*(-36)/20. Let y be (-4)/(-4) + n/(-3). Which is smaller: y or 2/13?
y
Let q(u) = -u**2 + 43*u - 191. Let k be q(5). Is -6/455 > k?
True
Let q = -1.87 - -2.28. Which is bigger: q or -1?
q
Let x = 81 + -80.931. Let c = x + 4.931. Is 4 > c?
False
Let c = -0.128 + 8.028. Let t = 8 - c. Suppose 2*m = -0 - 6. Is m smaller than t?
True
Let k(o) = 2*o - 12. Suppose 4*p + 