maller: -2/15 or x?
-2/15
Suppose -10*q - 10 = -15*q. Suppose 5 = -u, -4*z = -q*z + 4*u + 18. Is z at most as big as 1/21?
False
Suppose -3*h + 8*h - 4*r - 1122 = 0, 438 = 2*h + 2*r. Let c = 217 - h. Which is smaller: 2 or c?
c
Let v(k) = k**2 + k + 109. Let w be v(0). Let s = -89 + w. Which is bigger: s or 15?
s
Let y(d) = -2*d - 10. Let v be y(-12). Let x = 13 - v. Let z = -3372/25 + 135. Does z = x?
False
Let y = -1015 - -1174. Which is greater: 152 or y?
y
Let t = -1548 - -1532. Which is bigger: t or 5/16?
5/16
Let n = 31.491 - 31.97. Is n greater than 0.4?
False
Let a = 35936/3 - 11979. Are a and -406 unequal?
True
Let u = 1 - 1. Let i be (2/(29 + 5))/((-2)/14). Let n = i - -66/119. Which is smaller: u or n?
u
Let k(m) = m + 5. Let z be k(-3). Suppose 4*f = -5*t - 2, -z = f + 5*t + 6. Let y be 8*4/(-8)*f. Which is greater: y or -9?
y
Let y(v) = 7*v - 57. Let z be y(9). Suppose z*b = -212 + 80. Which is smaller: b or -25?
-25
Suppose 0 = 4*n - 1077 - 3531. Let i = n - 33404/29. Is i != -1?
True
Let j(k) = -31 + 34 - 2*k + 44. Let y be j(22). Let n be (-28)/21*(9/(-2))/y. Which is greater: 11/4 or n?
11/4
Let i(d) = 5*d**2 - d - 3*d**2 + 65 - 3*d + d - d. Let q be i(11). Is q at most as big as 262?
False
Let k = 105.2 - -391.8. Let x = k + -495.9. Which is bigger: x or 6?
6
Let j = 6/3983 - -54616/760753. Which is bigger: 0 or j?
j
Let u = -0.774 + 0.184. Let o = u - -2.59. Which is greater: o or 2.7?
2.7
Let b = 120 + -1. Let i be (136/b)/((-18)/(-77)). Let a = 7 - 3. Does i = a?
False
Let r = -0.5551 + 0.8551. Which is smaller: r or -2/11?
-2/11
Let v(t) = 12 - 12*t + 22*t + 84 - 6*t. Let p be v(-14). Suppose 0 = -g + 2*g - 41. Which is smaller: p or g?
p
Let o be 9*1*(-10)/60*2/(-3). Is o > -3/2359?
True
Let v(t) = 9*t - 126. Let d be v(0). Let q be 1/(-9) + (-2 - 518/d). Let n = 25/4 - 109/20. Do n and q have different values?
True
Let p(q) = q**2 - 15*q - 45. Let o be p(17). Let i be o/((-352)/266) - 8. Which is bigger: 0 or i?
i
Suppose 6*y + 2*y - 3376 = 0. Suppose -y = -5*n - 162. Suppose -5*v + 3 = -n. Do v and 11 have different values?
False
Let m be (-7 - 22/(-4))/((-387)/90 - -4). Which is smaller: 176/41 or m?
176/41
Suppose 0 = -2*c + 5*i + 636, -c = i - 296 - 15. Which is greater: c or 315?
315
Suppose 3*c - 2*c = 24. Suppose -5*h - 39 = -3*x - 10, -4*x + 3*h = -c. Suppose x*q = 0, -2*q - 3 = n - 4*n. Is -1/117 at least n?
False
Let u = -0.1831 - 785.8169. Let r = u - -786.05. Let b = -0.2 - -0.7. Is b < r?
False
Let i = -21.55 - -32.05. Let p = 0.06 - 4.06. Which is bigger: p or i?
i
Let t = -0.2 + 2.4. Let r = -1.76 + t. Which is greater: -0.07 or r?
r
Let y(q) = -126*q. Let n be y(0). Which is greater: -2/1791 or n?
n
Let c = 1626.3 + -1626.4. Which is smaller: -2083 or c?
-2083
Let o be 176*((-10)/(-15))/((-8)/(-6)). Let l be o/42 + 64/(-672). Is -35 != l?
True
Let k(c) = -2*c**3 + 166*c**2 + 175*c - 283. Let o be k(84). Is 351 less than o?
False
Let q be 2562/511 - (-15)/(-3). Which is bigger: q or -0.1?
q
Let x = -322.3 + 349.3. Which is bigger: x or -132?
x
Suppose 4*r = r + 6. Suppose 43 = -r*v + 37. Suppose -4*l = -2*j - 0*j + 8, -l - 2 = j. Which is bigger: l or v?
l
Let p be 386 + 4/(2 - 1). Let l be p/20 - 10/(-4). Suppose l + 8 = -5*z. Is -6 != z?
False
Let m = -4 + 4. Suppose m*q - 15 = 3*q. Let k be 32/6 - (q - -9). Do 0 and k have different values?
True
Let j(h) = 4*h**2 + 17*h + 11. Let v be j(-3). Let q be 29 - (19 + v + -9). Which is greater: 171/7 or q?
171/7
Suppose 2*m - 4*f = -110, 0 = -3*m + 7*m + f + 265. Let l be (2 + 3)/(m/26). Is -136 <= l?
True
Let t = -477 + 519. Let i = t - 40. Which is smaller: -4 or i?
-4
Let d = -734 - -1040. Let c be (d/(-3315))/((-1)/25). Let r = -2 + 4. Which is smaller: c or r?
r
Suppose -197*s + 7121 - 19926 = 0. Which is smaller: s or -58?
s
Suppose 145*x + 188365 = -84728 + 18328. Which is greater: x or -1756?
-1756
Let c(w) = -19*w**3 - 4*w**2 - 6*w - 1. Let v be c(-1). Let i(m) = m**2 - 26*m + 100. Let g be i(v). Which is greater: g or 2?
2
Let g(w) = -6*w - 28. Let j be g(-6). Let y be 1*(-10)/j*-4. Suppose 2*a + 5*o = -10, -4*o + 1 = y*a - 8. Is a smaller than -3?
False
Let i = 5065 + -5064.603. Which is bigger: i or 1?
1
Let j = -87.7 + 13.7. Let a = j + 72. Is 0.14 at least as big as a?
True
Let y(r) = -r**3 + 7*r**2 + 41*r + 11. Let c be y(11). Let p be (27/12)/(-2 + 1156/608). Is c < p?
False
Let d = 22 + -13. Let t = d - 46. Let a = t - -35. Is 0.04 at most a?
False
Let r(j) = -4*j - 175. Let x be r(-44). Let d be (-407)/(-880) - 2/4. Is x != d?
True
Let d(k) be the third derivative of -k**6/120 + 11*k**5/30 + k**4/2 - 19*k**3/6 + 84*k**2. Let m be d(23). Which is smaller: -270 or m?
m
Let c = -6177 + 6186. Is c at least as big as -279?
True
Suppose -28*v + 715 = 5*s - 27*v, -3*s - 4*v = -446. Which is smaller: 149 or s?
s
Let f = 13 + -8. Let g = 323 + -321. Suppose -14*v + g*v + 48 = 0. Which is smaller: f or v?
v
Let g = 241 + -233. Let q = g - 8. Does q = 2?
False
Let i = -75 - -27. Let d be (-127)/5 + (i/40)/(-3). Is -25 bigger than d?
False
Suppose -118*i + 114*i = z + 7, -8 = -i + 3*z. Is 2/18409 greater than or equal to i?
True
Suppose 3*r - 4*t = -0*r + 12, 0 = 2*r + 2*t + 6. Let s be 5/(-1) - r/(-1). Let h = 2894 + -2897. Do h and s have different values?
True
Suppose -1880*g + 90 = -1925*g. Is g greater than or equal to -1411?
True
Let w(o) = -o**3 + 11*o**2 + 12*o - 3. Let m be w(12). Suppose 3*j = -5*j + 32. Let h be m/2*(-2)/j. Which is greater: h or -3/5?
h
Let b(j) = j**2 - 4*j + 3. Let a(p) = p**3 - 6*p**2 - 10*p + 13. Let z be a(7). Let i be z/2*(-21)/28. Let v be b(i). Are 7/10 and v equal?
False
Let p be 2/12 + 171479/(-1020306). Is 0 at least p?
True
Let j = 6524.8274 - -1.1726. Which is smaller: j or -1?
-1
Let p = 516/137 - 936750/248929. Do -1 and p have different values?
True
Let m = -279 + 254. Let w = -553.9 + 579. Let j = w + m. Is j != 42?
True
Let h(z) = -173*z + 2080. Let a be h(12). Which is greater: -158/3 or a?
a
Let d be (-1 - -2)*(-74)/(-8). Suppose -969*z + 444 = -930*z + 132. Is d not equal to z?
True
Let o(z) = -3*z**3 - 186*z**2 + 29*z + 1766. Let d be o(-62). Are d and -223 equal?
False
Let p = 55/192 + -215/192. Is p > 1?
False
Let g = 0.0307 + 0.0693. Which is smaller: -18926 or g?
-18926
Let z = -132.7 - -128.5. Let h = -3.2 - z. Let s = -0.3 - 0.7. Does h = s?
False
Suppose 6*o - 2*o = -5*w - 477, 78 = -w + 5*o. Let c = -11694 + 11602. Is c equal to w?
False
Let r = -4470 + 4180. Is r not equal to -291?
True
Suppose -3*d + 4*d - 26 = -2*x, 2*x = d + 30. Let w = 19 - x. Suppose -w*a - 32 = -22. Is -2/9 <= a?
False
Suppose -5*r + r - 300 = 0. Let b = -2381054/31653 + 5/3517. Let z = r - b. Which is greater: 12 or z?
12
Let n be (-136)/(-134) - (1 + 0). Let y(b) be the first derivative of b**4/4 + 2*b**3 + 3*b**2 + 5*b - 4. Let i be y(-5). Is n bigger than i?
True
Let n be (-100 - 1) + 4*1. Let p = 937.1 - 937. Are n and p equal?
False
Let h be 1083/2*(-23 + 19)*(-2)/4. Is h bigger than 1083?
False
Suppose i + 447 = -5*a, a - 21 = 5*i - 100. Let b = a - 354. Is b at least as big as -443?
True
Let b = 5.3 + -3.51. Let j = 1.89 - b. Is -139 bigger than j?
False
Let m(n) = -64*n + 195. Let y be m(3). Suppose a = o + y*a - 28, -a = 4*o - 126. Which is greater: 63/2 or o?
o
Suppose -5*r + 120 = 3*q + 151, 3 = 2*r - q. Is r less than or equal to 0.189?
True
Let d = 268 + -1882/7. Let r be (-70)/(-21) + (-2431)/1092. Let t = r + d. Which is smaller: t or 28?
t
Let v(w) = -2*w**2 + 12*w + 16. Let r be v(7). Let k(p) = -15*p**3 + 6*p**2 - 3*p. Let j be k(r). Which is smaller: -1 or j?
j
Let q = 271 - 275. Let w = 205 + -151. Is w bigger than q?
True
Suppose 0 = -5*j - 20, -t = -3*t - 4*j + 32. Let w be (t/10)/(-3) - (-140)/(-75). Is w at most as big as -2/11?
True
Suppose -23 = -4*x + 17. Suppose -42 = -4*n - x. Let w = n - 5. Which is greater: w or 0?
w
Let b be -3 + (-149)/(-23) + -2. Let k be (-11)/(1617/(-14)) - ((-6)/(-63) + -2). Is b greater than or equal to k?
False
Let m = 71 - 47. Suppose -n = o - 6 + 4, -3*o = n - 8. Suppose -o*t - m = t. Is t greater than -7?
True
Let p = -1/8080 + -63361/10334320. Which is smaller: p or 1?
p
Suppose 0 = 2*f + c - 10, 0 = 3*f + f - 2*c - 20. Let z be (185/50 - 4)*f. Let j be ((-