 greater than a?
True
Let t(b) = -10*b - 6. Let d be t(-10). Let u = -87 + d. Suppose 4*h = -u - 61. Which is smaller: h or -18?
-18
Let p = 1200.9 + -1201. Which is greater: p or -1/930?
-1/930
Let y(t) = t**2 - 3*t + 1. Let m = -266 + 269. Let b be y(m). Is -1/463 > b?
False
Let k = -3288 + 3560.8. Let u = -273 + k. Let f = -4 + 15. Is u at least f?
False
Let l be (-9)/(-4) + (-7)/28. Suppose 0 = b - l. Let n be 6 + -4 + b - 4. Which is greater: -2/99 or n?
n
Suppose 155*x = 119*x. Is x != 2/1801?
True
Suppose 2*u + 41688 = 33*l - 20*l, u = -5. Which is greater: l or 3204?
l
Suppose 266*z - 125*z = 112*z - 1566. Is z at least as big as 21?
False
Suppose 4*l - 4 = 4*p, -4*l = 3*p - 10 + 20. Suppose -k = -4*d + 8, 5*d - 25 = -5*k + 35. Let r = -9 + k. Is r at most l?
True
Let z(l) = -l**2 + 90*l - 1693. Let b be z(26). Is 74 > b?
True
Let c = 1.959 + -1.859. Is -13/86 >= c?
False
Let f(z) = 3*z - 21. Suppose -13*h + h - 48 = 0. Let r be f(h). Let m be (r/(-2))/(-11)*(-2)/(-7). Is -10 at least as big as m?
False
Let y be (-3)/(128/(-44) + 3). Let z = 160 + -112. Let v = -81 + z. Is y at most as big as v?
True
Let h be (-1 + 4 - 3)/2. Let f = 3.475 + -2.195. Is f at least h?
True
Let w be (-438)/(-252)*-2 - 8/(-2). Which is smaller: w or -2?
-2
Let j = -135 - -113. Let x be (-4)/(-1) + 120/(-5). Is j greater than x?
False
Suppose -27*u + 23*u + 4 = 3*c, -3*c = -3*u + 3. Which is greater: c or -3/707?
c
Suppose -n + j + 6 = 0, 2*n + 3*j - 45 = -18. Suppose -n*s = -7*s + 28. Let q(w) = 2*w**2 - w - 137. Let a be q(-8). Which is smaller: s or a?
s
Let l be (-100)/(-72)*75/8 + -13. Let n = 2 + -1. Which is smaller: l or n?
l
Let h = 33364/15 + -2223. Which is bigger: 1 or h?
h
Let k be 45237/(-765) + 2/15. Suppose -j + 1 = -2*j. Let f be 3/j + -58 - (-2 + 0). Is f smaller than k?
False
Suppose 5*u - 9871 = 2*g, -14*u + 11*u = 2*g + 9847. Do -4927 and g have different values?
True
Suppose -4*n - 6 + 2 = 0. Let g = -15488/21025 + 14/841. Which is smaller: g or n?
n
Let p be (((-160)/24)/2)/(-2). Let m = 485 + -488. Is m smaller than p?
True
Let t be 1 - (7 - (-44)/36 - (-2)/(-9)). Which is greater: -3/64 or t?
-3/64
Let n = 38 + -32. Let t(p) = -2*p - 5. Let b be t(-4). Let h be (30/9 - 0) + b. Is n at most h?
True
Let r = 1030 + -476. Let a = 549 - r. Are -2 and a non-equal?
True
Let t(f) = -f**3 - 6*f**2 - f - 1. Let h be 6/(-9) - 0 - 112/21. Let k be t(h). Is 4 > k?
False
Suppose -10*n + 286 = -864. Let o be n/(-65)*(0 - 1). Are o and 1 non-equal?
True
Suppose 119 = 119*k - 0. Which is greater: k or 2733?
2733
Suppose j + z = -12, 54 = j + 4*z + 51. Suppose -4*a = a - 10. Let c be 31/(-2) - 1/a. Which is smaller: j or c?
j
Suppose -82*d = -78*d + 3*j - 5, -d - 2*j + 5 = 0. Which is smaller: 25.3 or d?
d
Let d = -1.08 + -105.92. Let m = -26 - 88. Let p = d - m. Is 9/2 less than or equal to p?
True
Let d = -6179 + 6178.2. Let j = 3 - 4. Is d greater than or equal to j?
True
Let x be 10/(-6)*81/(-36). Let m = 67/20 - x. Which is greater: m or -52?
m
Let u = -0.0618 + -4.3382. Let c = u - -4.3. Is c at most as big as -38?
False
Let m be 1*1228/5445 + (-30)/135. Let t be (2/(-9))/(60/(-270)). Which is smaller: m or t?
m
Suppose 11 - 35 - 7 = 31*w. Which is greater: 2/9065 or w?
2/9065
Let p be 3/21 - (-8209)/63. Let u = 130 - p. Does u = 1?
False
Suppose 6*q = -4*f + 3*q + 1025, 3*f + 3*q = 771. Suppose -5*b = -f + 74. Suppose 123 = 3*l - 6*p + 2*p, 0 = -5*l + 3*p + 194. Is b > l?
False
Let s = 10.137 - 0.137. Let w = s + -8. Let j = 1530 - 13744/9. Which is bigger: j or w?
j
Suppose 3*q = -3*u - 0*q, 3*q = 0. Suppose -4*i = p + 120, -18*i + 136 = -21*i + 5*p. Are u and i unequal?
True
Let m(a) = -34*a**2 + 463*a - 19. Let y be m(14). Which is greater: -2405/12 or y?
-2405/12
Let s = -9674 + 11434. Is s at most as big as 1761?
True
Suppose 88*f - 90*f + 34 = 0. Suppose 28*c - 209 = f*c. Suppose -4*t = -2*t - 38. Is t greater than or equal to c?
True
Let a be 2044/511*((1035/(-12))/(-5) - -3). Let k(p) = 83*p**2 + p. Let j be k(-1). Is a less than or equal to j?
True
Suppose -3240 = -95*n + 115*n. Does -160 = n?
False
Let g = -40 + 19. Let r = -1.75 + -0.25. Let y = r + 1.8. Which is smaller: g or y?
g
Let i = -15391 + 14984. Which is smaller: 7 or i?
i
Let c be 705/(-4935) + 90/(-7). Which is smaller: c or 12/17?
c
Let v = 21 + -31. Suppose 3*c = -2*b + 8, 8 = 2*b - 5*c + 3*c. Let j be b/(-6)*(4 - -2). Are j and v unequal?
True
Let b(i) = -11*i**2 + 2210*i + 2425. Let s be b(202). Let u be (0 - 711/356) + 2. Which is bigger: s or u?
s
Let o = -5821 - -5958.32. Let z = 137 - o. Is z less than -0.2?
True
Let u(g) = -9*g + 41. Let i be u(4). Suppose i*p + 185 = 5*y, -y - 8*p + 57 = -4*p. Is 40 bigger than y?
False
Let t(c) = c**2 + 7*c + 2. Let i be t(-7). Let w(n) = -1 - 2*n + 0*n + i - 5*n**2 + 5*n. Let a be w(-2). Do -25 and a have different values?
False
Let x = -24193797141560/1151931 - -21002818. Let d = 5093838908/14975103 + x. Let r = d - 340. Which is bigger: 0.6 or r?
0.6
Let v = 275852/2774387 - 6/10549. Is v bigger than 1?
False
Suppose 3*o + 10 = t + o, 2*t - 2 = -2*o. Suppose 7*v - 2*v + t*g - 24 = 0, -2*g - 14 = -4*v. Let l be (-1)/v - 996/(-528). Which is greater: l or 1?
l
Let d be (-2)/(-4)*(-135)/(-765). Let x(l) = -l**3 + 13*l**2 - 12*l + 4. Let q be x(12). Suppose 0*w = 2*u + w, q*w = u. Which is smaller: u or d?
u
Suppose 0*d + 24*d = 2*d + 59510. Is d >= 2706?
False
Let l = 419 - 419. Let m be 1*(l - 1)*(6 + -54). Do 3 and m have different values?
True
Suppose 4*o = -14 + 22. Suppose o*r = -r - 30. Let l be (-1)/5*r/36. Which is smaller: -1 or l?
-1
Let x be (-6)/36*-6 + (3 - -1). Suppose 38 = x*y - 2*i, 10 = 7*y - 4*y + 2*i. Suppose -y*h = -14*h. Does -69 = h?
False
Let t = -431 - -253. Let i = -176.8 - t. Which is bigger: i or -4?
i
Let d = -46.58 - -45. Let c = d - 63.42. Let k = c + 66.4. Does k = -1?
False
Let g = -0.247 + -32.553. Let d = g + -4.2. Let h = -36 - d. Is 4 < h?
False
Suppose 2*k + 33 = -109. Let x(i) = 30*i - 81. Let g(o) = -60*o + 163. Let d(t) = -2*g(t) - 5*x(t). Let b be d(5). Is k greater than or equal to b?
True
Let h = 3723 - 3723. Which is smaller: -140/209 or h?
-140/209
Suppose -p + 5*p - 104 = 0. Let r be 2/13 - (-22)/p. Suppose 4*k = -r - 3. Which is bigger: 2/9 or k?
2/9
Let q be (-21 - -22)*(1 - 4626/(-2)). Let l = q + -4767/2. Let m = -7229/104 - l. Which is greater: m or 1?
1
Let l(b) = -b**3 - 6*b**2 - 3*b - 12. Let z be l(-6). Let j be ((-12)/(-6))/(4/z). Let c be -2*4 - 2482/(-238). Which is bigger: j or c?
j
Let z = -131 - -136. Let v be (8/12)/(z/45). Let o be (-150)/(-21) - (-3 - -5). Is o > v?
False
Suppose -2*c - 571 - 1071 = 0. Let b = c + 1584. Let z = b - 4555/6. Is z less than 4?
True
Let c = 11647 - 9795. Which is greater: 1854 or c?
1854
Let k = -43.299 - -43. Let n = -0.199 - k. Let o be 4/(-10) + (-13)/(-5). Is n less than o?
True
Let h = 4171 + -4164. Is 2.35 at least as big as h?
False
Suppose -l = -8 + 4, -4*l = 2*q - 1480. Let k = 779 - q. Is 0 != k?
True
Suppose -y = 0, -5*w - y + 920 = 2*y. Suppose 0 = 43*k + 83*k - 23184. Is k less than w?
False
Let c be 2/14 + (-7)/((-8281)/(-162)). Which is bigger: 1 or c?
1
Let f(m) = m**2 + 6*m + 6. Let b be f(-5). Let o = 9347/12 - 289733/372. Does o = b?
False
Let a = 7/656 - 177/24272. Which is bigger: -1 or a?
a
Let j(y) = y**3 - 32*y**2 - 32*y + 25. Let n be j(33). Which is smaller: -30 or n?
-30
Let t(w) = 35*w - 231. Let l be t(7). Let s be (-15)/9 + l/(7 - 0). Which is smaller: -1 or s?
-1
Let s be 0 + 16/(-10) - (-1283586)/803985. Do s and 1 have different values?
True
Suppose 5*l = -0*l + 10. Let h(w) = 114*w - 773. Let k be h(7). Suppose z + k = -3*t, -3*z + l*t = -2*z + 15. Is -19 at least z?
True
Let b(p) = -5*p**2 + 141*p + 117. Let q be b(29). Which is greater: q or 9/1192?
q
Suppose h - 3 = -s, -s - 4*s + 3 = h. Suppose s = -w + 70 - 80. Which is smaller: w or -8?
w
Let o = -84 - -492. Let s = o + -408. Which is bigger: -1/724 or s?
s
Suppose -5*o = -0*o - z - 112, 3*z + 50 = 2*o. Suppose l - o = -2. Suppose 3*s = 7*s - k - 5, 4*k + l = -3*s. Is s < -2/25?
False
Let l(b) = 95*b + 21. Let i be l(-5). Let n be ((-36)/621)/(i/(-3069)). Let q = n - -10/227. Is -1 at least q?
False
Let u be 2 + -1 + 68 + 1 + 2. Let i = u + 