
Let j = 29609/27 - 1097. Let p = -340/189 - j. Is -0.1 > p?
True
Let k(d) = -d**2 + 4*d + 11. Let c be k(-3). Is -5 smaller than c?
False
Let c be 1/(-3) - (-4)/12. Let x = 1 + c. Let v be (x + -1 + 1)/(-1). Which is smaller: v or 0?
v
Suppose -b = 4*d - 11, 2*d = 2*b + 6*d - 14. Which is smaller: -7 or b?
-7
Suppose -4*d - 14 = -2*j, -d = 7*j - 2*j - 2. Let f be 0 + 3/d - -12. Suppose 0 = 5*z - f - 4, -z = 3*v - 6. Is 2/19 greater than v?
False
Let x = -39718/5 - -7989. Which is greater: x or 44?
x
Let x be 1/((-2)/(-128)) - -2 - 2. Which is bigger: x or 67?
67
Let c = 52 - 71. Let r = c - -18.962. Is r < -1?
False
Suppose -j - 1 = -4, -n + 2*j = -198. Suppose 3*c - 195 = 5*a, 0 = -3*c - a + 3*a + n. Let o be (-55)/(-11)*4/c. Which is bigger: o or -6?
o
Suppose 3*p = 3*a + 2*a + 10, 8 = p - 4*a. Suppose p = 4*b + 3*r - r - 2, -4 = -5*b - r. Let w be (-2)/4*(b + 5). Which is smaller: -1 or w?
w
Let r(n) = n**2 - 3*n - 1. Let i be r(6). Let y = -1068 + 1069. Let g be i + (-3 + y - -4). Is g at least as big as 20?
False
Let h = -8745 - -96061/11. Which is bigger: h or -12?
-12
Let k = 561 + -544. Which is smaller: k or 210/13?
210/13
Suppose -20 = 2*d - 5*x, -14*x = d - 9*x - 20. Which is greater: d or -16/43?
d
Let c(o) = 0*o + o**2 - 5*o + 0*o. Let n be c(4). Let l(d) = -29*d - 152. Let j be l(-5). Is j >= n?
False
Let d(x) = -x**2 - 29*x - 99. Let a be d(-4). Is -2/1007 bigger than a?
False
Let b be 1*((-5 - -6)*-5 + 5). Which is smaller: b or 19/22?
b
Let o be (2 + 0)/((-6)/(-21)). Let x be (5 - 1/1)*5. Suppose u + x = 5*u. Is u at most as big as o?
True
Let n = 147 + -141. Is n at most as big as 49/9?
False
Let j = 4 + 13. Let s = -17.08 + j. Which is smaller: -0.1 or s?
-0.1
Let x = -1737639513576/12155 + 142956768. Let h = x - 2/715. Is h at most -1?
False
Let a be -4 - 29/(-2)*4. Is 0 at most a?
True
Suppose 2*b = -43 + 11. Is b not equal to -10?
True
Let w = 2.31 - 4.31. Is 0.1 < w?
False
Let c = -1127760/19 - -59356. Let l be (0 + 1/1)*7. Suppose -3*x - p + 3 = 2, -5*x - 3*p + l = 0. Is c greater than x?
True
Suppose 0 = -3*p - 2*p + 3*p. Let z = -51.7 + 51. Is z not equal to p?
True
Suppose g + 3*g + 2*n + 30 = 0, -g = -5*n + 2. Let w be 112/290 + (70/25)/g. Which is greater: 0 or w?
0
Let b be 4 - (7 - (-3 - -3)). Let r(d) = d**2 + 2*d - 3. Let h be r(b). Let y = 5 + -15. Are h and y non-equal?
True
Let v be ((-224)/12)/(-7)*6. Suppose -3*o - 2*l + 34 = -248, -5*l - 399 = -4*o. Suppose -5*s - 21 + o = 0. Which is smaller: v or s?
s
Let x = -48 + 61. Let h be 5/((-28)/8 + 4). Is x > h?
True
Let y = -413.3 + 377. Let r = y - -38.47. Let h = 0.17 - r. Which is greater: 5 or h?
5
Let f = 16 - 9. Suppose -2*j + f*j + 270 = 0. Let o = j + 160/3. Which is smaller: -2/5 or o?
o
Let o be (4 - 8 - -4)/(-1). Suppose 7*b + 35 = 2*b. Let r be 163/55 + 4 + b. Is o greater than r?
True
Let i(g) = g**2 - 6*g + 4. Let q be i(6). Let l be q/14 + (-74)/308. Let d be 2 - (3 - 6)/(-1). Is d at least as big as l?
False
Suppose 0 = -458*w + 453*w - 795. Which is bigger: w or -160?
w
Let l be (12/9)/((-2)/12). Let j be 58/(-8) - (-2)/8. Let g = l - j. Is 3/8 less than or equal to g?
False
Let j be 2/(-4) - (-3 - 102/(-48)). Is j at least -5?
True
Suppose 0 = -5*j + 15*x - 10*x - 15, -4*j - 2*x = -6. Is j < 1/18?
True
Let z(t) = t**3 - 18*t**2 + 72*t - 12. Let g be z(12). Is g at most -21?
False
Suppose 2*v = a - 2, a = -4*a + 20. Which is bigger: v or -3/754?
v
Let u = -30 - -30.08. Let i = -0.83 + 0.8. Let o = u + i. Which is bigger: 0.2 or o?
0.2
Let o be (-15)/5*(1 - 0). Which is smaller: -3/23 or o?
o
Let f = -25 - -61. Suppose -2*n - f = -5*n. Is n smaller than 10?
False
Let q = 52435/3 - 17833. Is q smaller than -356?
False
Let x be (0/1)/(-8 - -6). Let c(u) = -2*u - 40. Let i be c(x). Let d be 48/i*10/3. Which is greater: -5 or d?
d
Let n = 7 - -3. Suppose -3*o + n + 4 = -4*r, 0 = -5*r - o - 8. Is r smaller than -2?
False
Let m = 63 - 60. Suppose -m*a + 3 = 0, 5*a + 27 = 2*f - 0*a. Is f less than 17?
True
Let b be 2/(-15) + 412/(-60). Let i(v) = 2*v**2 - 2*v + 16. Let o(x) = -3*x**2 + x - 16. Let k(a) = -4*i(a) - 3*o(a). Let t be k(b). Which is bigger: t or -3/2?
-3/2
Let k(f) = f + 3. Let j(l) = -2*l + 11. Let g be j(7). Let v be g - 2/((-6)/27). Let p be k(v). Which is smaller: 10 or p?
p
Let l = 7 - 4. Suppose 0 = -l*a + w + 36 - 4, -w = 5. Suppose 98 = -920*f + 934*f. Is f > a?
False
Let q = -130 + 130.2. Is q <= -16.6?
False
Let o = 148 - 381. Is o equal to -232?
False
Suppose 0 = -3*t + 5*j - 94 + 24, -5*t + j = 102. Let u be ((-16)/t)/(2/10). Let p = 17 + -11. Which is smaller: u or p?
u
Suppose -4*w - 5*d = -16, 0 = 5*w + 3*d - 7. Is -16/25 greater than w?
True
Let h = 2.905 - -0.795. Is -29 less than h?
True
Let z = -379 + 378. Is -7/11 greater than or equal to z?
True
Let u(j) = -j**3 + 11*j**2 - 12*j + 2. Let y be u(10). Let i = 18 + y. Suppose -4*r - r = i. Which is bigger: r or 4/9?
4/9
Let v = 0.24 - 0.34. Let j = 0.14 - 0.27. Let p = j - v. Which is greater: p or -1?
p
Let f = 5.4 + -19.55. Let g = 14.1 + f. Is -5 equal to g?
False
Let x(d) = 2*d + 16. Let b be x(-6). Suppose 2 - 10 = -b*f. Is f >= 2?
True
Let d = 0.494 - 0.294. Which is smaller: d or 191?
d
Suppose 0 = -2*l + 5*l - 33. Let d(k) = k**2 - 7*k - 8. Let o be d(l). Let g be 10/8*48/o. Which is greater: g or 3?
3
Suppose 5*t + 97 = -4*i, t + 0*t = 4*i + 91. Let a = i + -103. Let p = -1133/9 - a. Is p not equal to 0?
True
Let a(k) = 3*k + 36. Let v be a(11). Which is greater: 67 or v?
v
Suppose 50 + 94 = 9*v. Which is smaller: 18 or v?
v
Let m(p) = p**3 - p**2 - 2*p - 2. Let j be (-20)/(-8) - 3 - 2/(-4). Let k be m(j). Is k at least as big as -6/5?
False
Let h(s) = -3*s + 42. Let n be h(12). Suppose 3*o = n, 5*v - 10 = 4*o - 9*o. Is 100 < v?
False
Let q = 0.02 + 4.98. Let g = 4.9 - q. Suppose 0*n - 4*u - 13 = -5*n, -4*n - 6 = 5*u. Which is greater: g or n?
n
Let v = 19993/49 + -408. Are v and -1 equal?
False
Let d be 0 - (2 + -4 + 2). Suppose d = -4*b - 2 + 6. Let i be b/(3/((-3)/(-1))). Which is smaller: 3/5 or i?
3/5
Suppose -n + 21 = k, 2*n - 56 - 30 = -4*k. Do k and 125/6 have different values?
True
Let b = 6749 + -33187/5. Let r = b - 112. Which is greater: r or -9?
r
Let k(z) = -274*z**2 + z - 2. Let v be k(1). Let o be -3 + -4 + v/(-45). Is o >= -2/7?
False
Let l = 0.2099 + -0.7199. Are -2 and l unequal?
True
Let v be 52/65 - 2/(-10). Suppose v = 4*u + 5*m - 2, -u + m = -12. Is 2 != u?
True
Let a = 110 + -75. Let n be ((-3)/(-7))/(4 + (-120)/a). Is n at most as big as 2?
True
Let u be (-43)/((-705)/135 + 2/9). Is u bigger than 10?
False
Let s be (7 - 0)/((-21)/(-258)). Which is smaller: 2/5 or s?
2/5
Let c = -528.9617 - 0.0383. Which is smaller: 0.1 or c?
c
Suppose -3 = 7*x + 11. Is -58/31 at least as big as x?
True
Let y(g) = 2*g**2 + 30*g + 23. Let i be y(-14). Is i less than -96/19?
False
Let u be ((-9)/(-258))/(2/4). Let w = -2780 + 2781. Which is smaller: u or w?
u
Suppose -2261 = -z - 16*z. Which is bigger: z or 132?
z
Let k be (-1*(5 - 1))/(-10). Let d = -1311 - -1309.9. Which is bigger: d or k?
k
Let q be -1 + (-22632)/(-4530) + -4. Is 1 < q?
False
Let v be 1/((-4)/4)*31/3. Let f(a) = a**3 + 3*a**2 + a - 6. Let d be f(-3). Which is bigger: d or v?
d
Let b = 221 + -243. Suppose 0*o - 69 = 3*o. Do b and o have different values?
True
Let v = -21 + 12. Let j = -19 + 29. Let k = v + j. Is 0.06 > k?
False
Suppose -3*d = 5*w - 269, 5*d + 2*w - 480 = -0*w. Let z = d + -100. Do z and 1 have different values?
True
Let g = 2 + -10. Let z = -2.7 + -5.2. Let o = z - g. Which is bigger: o or 2/7?
2/7
Suppose -f + 0*f = -13. Let a = -13 + f. Suppose 0 = 2*n - a*n - 12. Which is smaller: -3 or n?
-3
Let c = -1048 - -271428/259. Which is smaller: -1 or c?
-1
Let x be 126*(-5)/(-320)*(-8)/(-6). Is 2/3 greater than x?
False
Suppose 3*q = 4*s - 993, 0 = -q + 5*s - 234 - 86. Which is smaller: q or -336?
-336
Suppose 6*h + 74 = 8*h. Let x = h - 36. Which is greater: -0.08 or x?
x
Let y be (48/(-280))/(12/(-30)). Which is bigger: y or -0.16?
y
Suppose -4*z + 3*y + 27 = -z, -3*z + 21 = -5*y. Suppose -10*s = -z*s + 20. Which is greater: -2/7 or s?
s
Suppose -1554 = 3240*t - 3246*t. Is -1 != t?
True
Let h = 480.38 - 495. Let t = h + 0.62. Which is bigger: -0.1 or t?
-0.1
Let v(y)