maller: r or g?
g
Let v = -0.2 - -2.2. Let z = -1.94 + v. Let f = z - -0.04. Is f >= -10?
True
Let z = 3/611 - 342777/1222. Let t = -17697/2 - -34261/4. Let l = t - z. Which is greater: l or -1?
-1
Let d = -50 - -21. Let y be ((-87)/15)/(44/220). Are y and d unequal?
False
Let g = 32/3 + -181/15. Let x(v) = v**3 - 9*v**2 - v + 16. Let n be x(8). Let r be (4 - n/(-12))*6/4. Which is smaller: r or g?
g
Suppose -4*j + 1 = -2*g - 9, 4*g = -j + 7. Let r = 4705/44 - 107. Let f = r + 303/572. Is g at least f?
True
Let k = -401 - -405. Which is smaller: k or 42/13?
42/13
Suppose -11895*p + 11891*p = 20. Let y = -8 + 1. Let s = -13 - y. Which is smaller: p or s?
s
Let v(h) = -h**2 - h + 3. Let o be v(0). Suppose w = -o*f - 19, 6*w + 41 = 3*w - 5*f. Let a be ((-228)/285)/(1/10). Which is bigger: a or w?
w
Let i(h) = -h**2 - 3*h - 1. Let s be i(-2). Let z = -4 - s. Let x(j) = j**3 + 7*j**2 + 7*j + 44. Let b be x(-7). Are b and z nonequal?
False
Suppose m - 1 = 19. Let a = 33 + -13. Let x = a - m. Which is bigger: -5/11 or x?
x
Let f = -129 - -74. Let x = f + 54. Which is greater: x or 2/25?
2/25
Let s be -3 + 3 + 1018/(-255) + 4. Which is greater: 1 or s?
1
Let r(k) = k**2 - 16*k - 8. Let v be r(16). Let w be v/(-2) - (-24)/(-8). Let h = 30/17 + -471/238. Which is greater: w or h?
w
Let s(b) = 11*b - 24. Let v be s(4). Let j be 4/5*(-50)/4. Let a be (-4)/v*j/6. Is 3 <= a?
False
Suppose -4*v - 3*o - 13 = -1, -4*o = 3*v + 16. Is -5/504 bigger than v?
False
Let w = -403/126 - -1/18. Which is greater: -2 or w?
-2
Let x = 351 - 351.7. Is x less than -0.08?
True
Let m = 1454 + -1467. Is m < -195/14?
False
Let b be (-13)/(-13) - (-233)/(-154). Let q = b + 19/42. Let w(k) = k + 4. Let o be w(-5). Which is smaller: o or q?
o
Let m be 0 + (1 - 3) + 5. Let t be m/(2 - -1) - 0. Let o be (-1 - t - -3)*-2. Are o and 1/2 nonequal?
True
Let b(x) = -39*x**2 + 5*x + 3. Let k be b(4). Is -600 at least k?
True
Let w = 1569/1961 - 31/37. Suppose b - 2 = -b. Let k = 1 - b. Which is greater: k or w?
k
Let c = -3 + 5. Let j be c/3*15/(-10). Let a = 94 - 1032/11. Is a greater than j?
True
Let o(z) = -z**2 - 4*z + 13. Let f be o(-7). Let b be (9*f/(-156))/(-2). Which is smaller: b or 0?
b
Let r be (-5078)/140 - (8/(-14))/1. Is r less than or equal to -35?
True
Suppose -4*t = -9*t - 125. Let n = t + 28. Suppose n*o = 4*d + 19, 5*d + 16 = d. Is 1/4 greater than o?
False
Suppose 2*b + 20 = 3*r, 0 = -5*b + 7*b + 5*r - 12. Is b greater than -13/3?
True
Suppose 3*l - 2*l - 16 = 0. Let n = l + -10. Let m = -5 + n. Is -2/11 < m?
True
Suppose -2018*n - 2076 = -2024*n. Is n != 346?
False
Let p = -0.0577 + -0.9423. Let l = 82 + -331/4. Is p less than l?
True
Let n = -80 + 81. Is 1/72 equal to n?
False
Suppose 0 = 2*z - 4*c - 6, -619*c + 624*c = 2*z - 4. Let l = 4 - 2. Suppose 4*v = l*v + 2. Which is greater: v or z?
z
Let x be (-5)/5 - (1 + -1). Let k(r) = -r + 8. Let h be k(4). Let s be x - (-6)/h*-4. Are s and -7 non-equal?
False
Let b = 47/60 - 8/15. Let u be (-64)/(-88) + (-6)/33. Is u greater than or equal to b?
True
Let c = -4 - -2. Let p be 28/(-3)*(-387)/86. Which is smaller: c or p?
c
Suppose 0 = -111*c + 104*c + 119. Which is smaller: c or 213/13?
213/13
Let r(k) = -k - 22. Let a be r(-11). Let q(i) = 8*i - 32. Let p(w) = 3*w - 11. Let o(c) = a*p(c) + 4*q(c). Let n be o(-2). Which is greater: n or -4?
-4
Let u be 1/(5 + (-63)/12) - 1565. Is 1 bigger than u?
True
Let q = 644 + -644.1. Do -69 and q have different values?
True
Let m = 4/217 - 681/25172. Let c = m - 1/116. Which is smaller: c or 1?
c
Suppose 2*o = 2*a + 6, 0 = -5*o - 0*a + 3*a + 15. Suppose -62 = -0*h + h + 5*q, 0 = -2*h + o*q - 72. Let r = h + 33. Is -9 <= r?
True
Suppose -15*h - 70 + 10 = 0. Let u = -1 - 6. Let z = u - -6. Do h and z have the same value?
False
Let i = -6 - -6. Let k = -1/5 - 2/15. Which is smaller: i or k?
k
Let f = 3 + -6. Let t be (f + 8)*6/10. Let g = 631/254 + 2/127. Is t less than g?
False
Suppose a - 2 = -0*a. Let o be (1 - -10) + (7 - 4). Suppose v = 3*v - o. Are a and v nonequal?
True
Suppose 36*l + 12 = 40*l. Suppose -l*a + 4*a + 1 = 0. Which is smaller: a or -1/12?
a
Let y(u) = u**2 + 8*u + 13. Let j be y(-2). Let m = 47/130 - 6/13. Is m greater than j?
False
Let x be -6 + (-7)/((-7)/5). Are -4/111 and x non-equal?
True
Let a = 0.1178 - -0.1022. Which is smaller: a or 36?
a
Suppose -17 = 2*q + 3*r, 3*q + 18 + 14 = 2*r. Is q at most as big as 0.05?
True
Let y = 35 - 11. Let k be 2 + 12/y*76/(-18). Is k less than or equal to -1?
False
Let l = 396 + -324. Is l > 220/3?
False
Let o = -464.7 - -464. Which is greater: 58 or o?
58
Let r be (-7 - -8)*4 - 4. Does r = 5/21?
False
Let q = -80 + 99. Let v = q - 19. Are -2/47 and v unequal?
True
Let l = -29012/7 - -299871/70. Let t be 1/(-2 - 554/(-278)). Let x = l + t. Is x >= -1?
True
Suppose 4*a + 21 - 109 = 0. Suppose 178 - 634 = -19*n. Is a less than or equal to n?
True
Let u be 3/4*((-20)/4)/15. Is 12/5 equal to u?
False
Let m = -118 - -117. Let y be m/(16/12 + -1). Which is smaller: 0 or y?
y
Let o be 0/(-1) + 4/42. Let k = 82 - 79. Which is smaller: o or k?
o
Let d = 1527 - 1128451/739. Is 1 less than d?
False
Let n(v) = 4*v**2 + 6*v - 28. Let r be n(-5). Suppose 2*w + 2 = 0, 3*w + 41 + 52 = 2*g. Suppose -r*p = -g*p. Are 3/5 and p unequal?
True
Let s = -5 - -1. Let q(c) = -2*c**2 + 16*c + 3. Let n(f) = -f + 1. Let t(g) = 5*n(g) + q(g). Let m be t(6). Is m greater than or equal to s?
True
Suppose -3*m + 5*m - 48 = 0. Let v = 15 + -8. Let k be (10/35)/(m/v). Which is greater: -1 or k?
k
Let k = -230.4 + 256. Let d = 23 - k. Is d greater than -0.1?
False
Let o(b) = -b + 4. Let y be o(1). Suppose 3*p + y*z - 3 = 0, -5*p + 2 = -z + 3*z. Which is smaller: 12 or p?
p
Let l(m) = -4*m**3 - m**2 + 1. Let w be l(1). Let z be (-8)/(-2) - 44/(-48)*w. Is z less than 4?
True
Let w be 4/(-6)*(-18)/(-24). Let b be -1 + 3 + 125 + -2. Let y = -1627/13 + b. Is w <= y?
True
Let n be (1/(-202))/((-42)/252). Are 0 and n equal?
False
Suppose 68 - 95 = 9*o. Does -11 = o?
False
Suppose 2*f - 3*q + 10 = 0, 4 = f - 5*q - 5. Let y = f + 9. Suppose 3*t - t = -8. Which is smaller: y or t?
t
Let c(f) = -f**2 - 26*f - 177. Let b be c(-19). Is b less than or equal to -43?
True
Let y be (-6)/99 + (-19021)/(-759). Let z = -1 + 1. Let h = 25 - z. Is y at least as big as h?
True
Let w = -391/343 - 3993337/11319. Let l be 353 - (-1 - (0 - 0)). Let s = l + w. Does s = -1?
False
Let c be (-224)/(-48)*23/2. Let u = 54 - c. Let y = -2 - -2.1. Is u <= y?
False
Let k(a) = 2*a + 3. Let z be k(-2). Let o be (16/29)/(7*10/105). Let s = 158/261 - o. Which is smaller: s or z?
z
Suppose 2*b = -4*k + 3*b - 46, -3*k + 5*b = 26. Suppose 58 = -n - 8. Let q be 303/(-33) + k/n. Which is bigger: -7 or q?
-7
Suppose 0 = 4*d - 3*m + 1, m + 0*m - 7 = 3*d. Let o be (-168)/(-754) - d/(-26). Is 1 greater than o?
True
Suppose 2*b - 3*w + 3 = 0, 2*b + 3*w = 14 + 1. Suppose -3*h - 9 = -b*z + 6, -3*z - 10 = 2*h. Which is bigger: 1/12 or z?
1/12
Let f = -17/5 + 29/10. Is f < -1?
False
Let f be 12/16 - (-1178)/(-1592). Which is greater: f or -1?
f
Let f(a) = -5 + 2*a + 7 + 13 - 6*a. Let y be f(-6). Is 39 at most y?
True
Let l = 31.9 - 11.9. Which is greater: 0.1 or l?
l
Let k = -16/3 + 5. Let w be (-17)/(-1) - ((-16)/4 - -6). Let m be 5/275 - 3/w. Which is bigger: k or m?
m
Let k = -7840 + 352814/45. Which is smaller: 0 or k?
0
Let y be 0 - -2 - (16 - -9 - 9). Does -11 = y?
False
Let d = -28287395/76109 + 5380/2057. Let z = 369 + d. Suppose -6 = 3*l - 3. Is l greater than z?
False
Let x be 690/20 - 30/12. Is x at most as big as 32?
True
Let h be 5667/(-3402) - -5*(-6)/(-18). Which is greater: h or 1?
1
Let t(f) = -f**3 - f**2 + 6*f + 3. Let l be t(-3). Let a be 38/l - 4/6. Let s be (-60)/(-8) + a/8. Are s and 1 equal?
False
Let r be ((-1)/50)/(1*6/105). Which is greater: 1 or r?
1
Let s(a) = a - 5. Let v be s(6). Suppose -2*q - 6 = -4*q. Let p be (-1*q/27)/(-1). Is v equal to p?
False
Let n(r) = -72*r - 425. Let p be n(-6). Is 8 < p?
False
Suppose -2*f + 15 = s - 7*f, -5*f = -5*s + 15. Let u be (2/6)/((-2)/18). Let n be (-2)/u*(-10 + 4). Which is bigger: s or n?
s
Let s(l) = l**2 - 7*l + 12. Let u be s(5). Is u > 1?
True
Let y(t) = 17*t**3 - 11*t + 3 - 6*t**3 - 10*t**3 + 10*t**2. Let v be y(-11). Suppose 2*q