eater: 1 or x?
x
Let s be (-1 - 10/(-15))*(-1 + 142). Let q = 72 + s. Is 25 < q?
False
Suppose 23*v + 105100 = 27*v + 4*c, -4*v + 6*c = -105050. Is 26270 less than or equal to v?
True
Suppose 2*n + 5*u + 4 = 0, -6 = 3*n - 0*u + 4*u. Let q be 95*1 - (1 + -7). Let m = q - 91. Is m <= n?
False
Let c = 3507 - 3507. Which is smaller: c or 0.271?
c
Let m = -552 + 554. Let z be (4 + 81/m)*-4. Which is smaller: z or -0.1?
z
Let w(x) = 4556 - 18*x + 2*x**3 - 28*x**2 - 3*x**3 - 4538 - 33*x. Let a be w(-26). Which is smaller: -19 or a?
-19
Let j be 3305*36/(-126)*(-14)/130. Let b = 1290/13 - j. Which is smaller: b or -3?
-3
Suppose a - 3*a - 26 = 3*m, -2*m - 4*a = 28. Let y be (1 + (-5 - m))/2. Is 4/5 > y?
False
Let i = 253186/2745 + -830/9. Let z = i + -934/24705. Is z > 0?
False
Let d(k) = -2*k**3 + 4*k**2 - 6*k - 18. Let j be d(-2). Suppose -j*p = -16*p - 14*p. Let v be (-4)/(-3)*18/39. Which is smaller: p or v?
p
Suppose -j = -5*w - 26, 2*j - w + 3*w + 8 = 0. Suppose -4*p + 14 + 3 = -m, -4*p + 21 = -5*m. Which is greater: j or p?
p
Let r be (-15)/21 - (-2)/(-7). Let q be 147/(-63) + 3324/990 + -1. Which is smaller: q or r?
r
Let x(a) = 2*a**2 + 35*a + 42. Let o be x(-17). Suppose b - 15 = 3*r, 7*r = 2*r - o. Is 3/34 at most as big as b?
False
Let d(z) = -z**3 - 9*z**2 - 10*z - 2. Let r be d(-7). Let u be (4/(-12))/(2 + 62/r). Let w = u + -3. Are 0 and w non-equal?
True
Let t be 6/(-27) - (-94)/18. Let s be (-15)/(60/(-8)) - (0 - 3). Suppose s*x = -264 + 294. Does t = x?
False
Suppose -21*b - 41156 - 67499 = -7414. Are b and -4821 equal?
True
Suppose 0 = 4*a - 51 - 29. Let b be a*(-4 - (-28)/10). Let x be ((-28)/b)/(2/4). Which is smaller: x or 3?
x
Let a = -4291993/67599809 - 5/102269. Which is greater: a or 0?
0
Let n = 13448 + -13447. Is 19/221 at least n?
False
Let p(k) = -5 - 11 + 7*k + 5 + 3. Let v be p(2). Suppose -1 = v*g - 7. Is g less than or equal to 19?
True
Let t(h) = -h**2 - 68*h + 1514. Let w be t(-85). Is -3 > w?
False
Let y = -279 - -285. Which is smaller: 11 or y?
y
Let l(d) = d + 1. Let f be l(4). Let o = 4 - f. Suppose 53 = 6*j + 59. Is j at most as big as o?
True
Let l be 3/9 - (-812)/48. Let i = l + -2689/156. Which is smaller: 0 or i?
0
Let a = 3178.11 + -3178. Which is bigger: a or -31?
a
Let c = -0.736 - 234.264. Let k = -234.9 - c. Let o = -9197/38 - -242. Which is bigger: o or k?
k
Let j(l) = -l**2 - 90*l - 1519. Let t be j(-14). Are -450 and t unequal?
True
Let w = 7200 - 7017. Are w and -2/55 equal?
False
Let y = 21/1390 - 71121/15290. Is -1/8 less than y?
False
Let o be (-6 + (20 - 14))*-1. Which is greater: -6/16379 or o?
o
Suppose -138*w + 139*w - 2*k = 468, w = 11*k + 450. Which is smaller: 464 or w?
464
Suppose -4*t - 490 + 484 = -l, -5*t = 25. Suppose 3*x + 69 = -42. Let d = x - -22. Is l >= d?
True
Let o = -39557/2064 - 1/688. Let n = o + 557/30. Let w(h) = -h**2 - 18*h + 23. Let c be w(-19). Which is greater: n or c?
c
Let m = -7506 - -9621. Which is smaller: -0.2 or m?
-0.2
Suppose 8*n + 7*n - 15088 - 45062 = 0. Which is smaller: n or 4009?
4009
Let l = 16092 - 23069. Which is smaller: -6976 or l?
l
Let q be 16/6*42/28 - -5. Suppose -83 + q = 2*d. Is d not equal to -37?
False
Let u = -1419 - -1273.9. Let j = u - -143. Which is greater: j or -2/7?
-2/7
Suppose 41*l = 33*l + 32. Is l smaller than -0.124?
False
Let w be ((-783114)/1880)/((-8654)/(-4) - -1). Let m = 15/74 + w. Let q(y) = -y + 5. Let h be q(4). Is m > h?
False
Suppose -4*j - l = 191, 2*l + 0*l = 2. Let m be (2 - 18/8)*j/34. Is 0 at least m?
False
Let y = 114 - -84. Let o = -196 + y. Let g = -3328 + 36638/11. Do o and g have the same value?
False
Let c = -479 - -489. Suppose c*g - 6*g - 20 = 0. Which is smaller: g or 14?
g
Suppose 17 = -3*h + t + 3*t, -3*t + 15 = 0. Let d = 2/1207 + 2300/68799. Which is smaller: h or d?
d
Let o be 1879*-2*8/(-290). Let s = 135662/5 - 27236. Let l = o + s. Which is bigger: 1 or l?
1
Let y be 33/8 + (-8)/64. Suppose y*g - 95 = -67. Is g bigger than 3/4?
True
Let b = 175 - 176. Let z = 107/9 + -5698/477. Which is smaller: z or b?
b
Let x(r) = 14042*r + 112241. Let f be x(-8). Let d be 482/(-5) - 2/(-5). Which is smaller: d or f?
d
Let d(f) = -2*f**2 + 16*f + 5. Let p be d(8). Suppose p = -l - 47. Let z be l/13*(-14)/12. Which is smaller: z or 5?
z
Let q = -29.55 + 28.8. Is -31 greater than q?
False
Suppose 0 = 16*j - 10217 + 1241. Is 560 greater than or equal to j?
False
Suppose 0 = -q + 2*o + 41, 3*q + 19*o = 14*o + 90. Let a be q/(-84)*-6 + 7/(-2). Is a >= 2/653?
False
Let p(a) = 147*a + 31. Let w be p(22). Let l = -839107/257 + w. Which is smaller: l or -1?
-1
Let u be -19 + (6480/18)/20. Is -2/14415 at least u?
True
Let f = 5901 + -5900.9. Which is bigger: 578 or f?
578
Let m be (-14)/(-42) - 2/6. Suppose 2 = -m*t - 2*t. Which is smaller: 6/41 or t?
t
Let y(q) = -8*q**3 - 2*q + 5*q - 9*q**2 + 5*q - 8 + 9*q**3. Let i be y(8). Let k be 2*((-3)/i)/(-7 + 10). Which is smaller: k or -1?
-1
Suppose 164*i - 746 = -76*i - 83*i - 50*i. Let d = -31 + 29.76. Is d >= i?
False
Let j = 17985 + -81579961/4536. Which is bigger: -1 or j?
j
Let c(t) = -t**3 + t**2 + 114*t - 44. Let k be c(11). Which is smaller: 7 or k?
k
Let o = 57 + -128. Let r = o + 499/7. Let c = 9/68 + 2/17. Is r smaller than c?
False
Let j = 16 - 11. Let i be 4*-4*((-25)/10)/j. Let p be ((-18)/i)/3 + 3/4. Is -10/11 less than p?
True
Let z = -0.376 + 0.41. Let t = 7.134 - z. Are t and -3 non-equal?
True
Let t = 0.3979 - -16.6021. Let m = -0.1 + -1.9. Let v = 3 + m. Which is greater: v or t?
t
Let x = -18791 - -62536447/3328. Which is smaller: x or 0?
x
Let h = 26 + -19. Let t(i) = -i**2 + 6*i + 9. Let f be t(h). Suppose 5*s + 10 = -5*o, o = 3*s - 4*o - f. Which is bigger: s or -6/11?
-6/11
Let g = -19.4 - 88.6. Let i = -6186 - -6188. Which is bigger: i or g?
i
Let x = -6.4 - -478.3. Let z = x - 472. Is z < 3/8?
True
Let c = -4.32 + -182.68. Let d = 103 + c. Let i = -85 - d. Is i greater than -5?
True
Let j be (-5625)/(-945) + (-4)/(-84). Let x(q) = -5*q**2 - 6*q + 19 - 4*q**2 + 3*q**2 + q**3. Let b be x(j). Does -16 = b?
False
Let c = -4036 - -32924. Which is smaller: 28889 or c?
c
Let z = 0 + -4. Let w(a) = -2*a**2 - 66*a + 218. Let b be w(-36). Is b greater than z?
True
Suppose -2*m = -1 - 7. Let b(x) = -x**2 + 2*x + 12. Let g be b(m). Let f be (-235)/(-450) + ((-16)/18)/g. Is 1 not equal to f?
True
Let k be 200/30*(2 - 2*-2). Suppose -k = -3*t - 4*s, -t + 3*s + 21 = -1. Which is greater: 14 or t?
t
Let a(z) = -2*z**2 + 5*z - 3. Let l be a(5). Let x be (-3)/(-2) + (-546)/l. Let f be ((-49)/x + 1)*78/4. Which is bigger: 0 or f?
0
Let n(p) = p**3 + p**2. Let m be n(2). Suppose -4*o - 3 = 3*j - m, 5*j + 3*o - 4 = 0. Let q be -2 + -10 + 8 + (-1 - -3). Which is smaller: q or j?
q
Suppose -4*r + 201 = 5*y - 605, -9*y + 5*r = -1463. Is 0.06 greater than or equal to y?
False
Let y = 0.15 - 0.545. Let d = y + 0.025. Let u = 227 - 679/3. Which is bigger: d or u?
u
Let x = -6409 + 6021. Is -5040/13 smaller than x?
False
Let z = -324 + 325. Is z <= -17/168?
False
Let w = 20.142 - -1735.858. Which is bigger: -2/11 or w?
w
Let p(u) = 128*u**3 - u - 1. Let l be p(1). Is -2 >= l?
False
Let d = 0.11 + 1.53. Let k = 72.64 - d. Let p = k + -71.3. Is -5 greater than p?
False
Let k(t) = -45*t - 1. Let u be k(-1). Let v be 8/u - 26/22. Let o be (-57)/(-76) + 12/(-32). Is o smaller than v?
False
Let c be (33/(-15))/(-11)*(0 - (-4)/12). Is c greater than 5?
False
Suppose -4*f + 0*f - 18 = -5*c, 3*c + 3*f = 27. Let x be 0/(-1) - (414/15)/c. Let l = -21/10 - x. Which is smaller: l or 4?
l
Suppose 0 = 12*t - 426 + 7818. Which is greater: -618 or t?
t
Let h = 78/11 + -28760/4059. Let y = -3317/738 - h. Which is smaller: y or -6?
-6
Let m(p) = -2*p**3 + 4*p**2 - 2*p + 670. Let z be m(0). Is z smaller than 671?
True
Suppose -6*s - 131 = -173. Let b(n) = -n**3 + 10*n**2 - 19*n - 26. Let k be b(s). Is k at least -87/7?
True
Let d(z) = z**3 - 34*z**2 + 99*z - 3347. Let k be d(34). Are k and 232/13 non-equal?
True
Suppose -5*w = 3*f + 472 + 982, 2*f + 1164 = -4*w. Let t = -289 - w. Which is smaller: t or 28/13?
28/13
Let u be -2 + 2 + 2/2. Suppose 0 = 22*j - 21*j + 71. Let v = -357/5 - j. Which is bigger: u or v?
u
Suppose -m + 2*m - 30 = 5*y, 0 = -5*y + 3*m - 40. Let j(l) = -8*l + 74. Let v 