True
Let f = 75130 + -1954619/26. Let a = f + 95/2. Suppose -5*x + 0 - 5 = 0. Which is smaller: x or a?
x
Suppose 6 = -0*l + 2*l. Let t = -3 + 3. Let w be (4 + t - l)/(-1). Is w less than -4/7?
True
Suppose -y = 3, 4*k + y = -0*k + 17. Let n(r) = 96*r - 480. Let q be n(5). Which is greater: q or k?
k
Let u(f) = 11*f**2 - 8*f + 26. Let x be u(6). Let n = -4118/11 + x. Is n > 1?
False
Let o = -94 + 94.5. Is o greater than 27?
False
Let f = 255/29 - -3568/145. Which is greater: f or 32?
f
Let t be 2794/25905 - (42/45)/7. Which is smaller: t or 0?
t
Let n be 108861/540 + 12/(-30). Let k = n + -819/4. Which is greater: -5 or k?
k
Let b = 1419 - 2379. Which is smaller: b or 0?
b
Let q be 4/(-14) + (-1157)/91. Suppose -2*i = -5*k - 2 - 0, 5*i - 59 = -k. Let p = q + i. Is p smaller than -0.1?
True
Let l = 0.09 + -5.09. Let o = 0.64 + -0.64. Which is smaller: l or o?
l
Let p be ((-102)/153)/(1/33). Let g be -23 + 0 + (-2)/(-1). Which is smaller: g or p?
p
Suppose -27 = -5*c + 58. Let q = c - 8. Suppose 0 = -p + 3 - q. Do -3 and p have the same value?
False
Let k = 18 + -19. Let h = k + 11. Let s = h - -3. Which is smaller: s or 1?
1
Let u = -2/7 + 15/28. Let f = -1.533 + 0.533. Do u and f have different values?
True
Let t = 208 - 214. Suppose 5*f - u = -17, -3*f - 2 = f + 5*u. Which is bigger: f or t?
f
Let u(g) = -g**2 - 8*g + 10. Let t be u(-10). Let h = t + 0. Let y = h - -11. Which is smaller: 1/6 or y?
1/6
Let x = -0.14 + 0. Let t = x - 0.16. Let m = -0.01 + 2.01. Which is smaller: m or t?
t
Let s be 2/(-13) + 22/130*-5. Is s >= -1?
True
Let y = -10/13 + 160/39. Suppose 3*k = 3*c, -13*k + 2*c = -12*k + 3. Is k bigger than y?
False
Suppose -5*a + 15 - 10 = 0. Let u = 4 - a. Suppose u = -0*v - 3*v. Which is greater: 2/15 or v?
2/15
Let m = 146 + -103. Let f = m - 46. Which is greater: -3/2 or f?
-3/2
Suppose -4*s + 8 = -4. Let h be (4 + -3)*16/4. Suppose -h*p + 14 = -v - 7*p, -3*v + 3*p + 18 = 0. Which is greater: s or v?
s
Let p be (96/120)/(2 - -2). Which is smaller: 1/22 or p?
1/22
Suppose 25*d - 26*d = -5. Which is smaller: d or -6?
-6
Suppose 224*t - 223*t = 0. Let o = 69/130 - 2/65. Which is greater: t or o?
o
Let h be 1 + (-8 - 1246/(-154)). Let y(v) = -v**3 - 4*v**2 - 2*v + 3. Let o be y(-3). Which is bigger: o or h?
h
Let i = -11 - -13. Let s = i - -6. Suppose 2*v - 34 = 5*m, -5*v = -v + 3*m - 16. Is v < s?
True
Let q = -29 - -26. Let d be (-126)/6 + 0 + q. Let p be d/30*15/2. Is -26/5 greater than p?
True
Let r = -23520681445/37 - -17353904656093/27269. Let v = r - 702718. Let x = -10/67 + v. Which is smaller: x or 0?
0
Suppose -3*t - 4*a = -7, -3*a + 0*a = -10*t + 7. Let p(x) = -x**3 + 3*x**2 + 4*x - 1. Let y be p(4). Let q be y/(22/(-4)*-2). Is t less than or equal to q?
False
Suppose -5*v - 5*t - 25 = 0, 3*t + 1 + 4 = -2*v. Let n = 6/17 + -335/34. Is v greater than n?
False
Let m(o) = -o**3 - o**2 + 16*o - 3. Let i be m(-5). Are i and -18 non-equal?
True
Let z = -537 - -12349/23. Which is smaller: -1 or z?
-1
Let g = -174 + 67. Let b = g + 1179/11. Which is bigger: b or 3/5?
3/5
Let h = -0.037 - -0.537. Let l = h - 1.5. Do 0.01 and l have the same value?
False
Let n(y) be the second derivative of -2*y**3/3 + 22*y**2 + 12*y. Let f be n(8). Which is smaller: f or 21/2?
21/2
Suppose 2*w - 60 = -72. Suppose 0 = -3*u - u - 20. Which is bigger: u or w?
u
Suppose -129*z = -127*z - 342. Is 172 at most as big as z?
False
Suppose 3*l + 0 = 3. Suppose l = -2*v + 5. Suppose -p = v*p. Is 4/3 bigger than p?
True
Let x = -17.9476 + -0.0524. Is x not equal to 18/11?
True
Let x = -6 - -4. Suppose 4*k = 2*r + 14, 7 = k + 5*r - 2. Suppose 3*o = -4*t + 12, k*o - 20 = -5*t - o. Which is greater: t or x?
t
Let c = -2160 + 2197. Suppose d - 3*d = -74. Is c at most as big as d?
True
Suppose q - 1 = -5*h + 5, -3*h = 2*q - 12. Let v = q - -4. Is v bigger than 13?
False
Let w(p) = p**3 - 3*p**2 - 5*p + 4. Let k be w(4). Let h = 1499 + -103433/69. Which is smaller: k or h?
h
Let p = -175.127 + 175. Which is smaller: 1 or p?
p
Let f(p) = 2*p + 28. Let m be f(-13). Suppose 5*l + 2*c - 6*c + 353 = 0, l = m*c - 73. Is -69 less than or equal to l?
True
Let x(g) = -g**3 + 18*g**2 + 19*g + 9. Let k be x(19). Suppose 0 + 18 = 4*w + 2*s, -5*s - 33 = -3*w. Is k at least w?
True
Suppose -52 + 269 = -4*g - 3*h, -g + h - 56 = 0. Let r = 115/2 + g. Suppose -5*s - 3*y = -18, -2*s + 2*y + 8 = 4. Which is greater: s or r?
s
Let c be 3/(123/(-23696)) - 0. Let m = 578 + c. Which is smaller: 1 or m?
m
Suppose -54 + 100 = 2*m. Is 95/4 at most as big as m?
False
Let t be (1/895)/(15/10 + -1). Which is smaller: t or 1?
t
Let x = 0.405 - -272.595. Is 1 < x?
True
Let l = -8.3 + 9. Let t = l + -0.6. Is t at most as big as 1/2?
True
Let z(b) = -b**2 + 2*b + 19. Let h be z(-10). Let v = 69 + h. Is v less than or equal to -30?
True
Let l = 19085/13 - 1469. Which is greater: l or -2?
l
Let l be (-43)/(-43) - 2*1. Which is bigger: 9/40 or l?
9/40
Let r = 56 + -166. Is -112 <= r?
True
Suppose 0 = 2*k - h - 31, 3*k - 2*k - 4*h = 5. Let o = -14 + k. Is 3 less than o?
False
Let d(l) = 15*l**3 - 2*l**2 - 5*l - 7. Let r be d(-2). Is r less than -125?
False
Let d = -361.8 + 364. Which is greater: d or -0.19?
d
Suppose -8*g - 11*g + 76 = 0. Suppose 198 = 5*h + g*h. Which is greater: 20 or h?
h
Let q = 548 + -3846/7. Suppose -4*p = -0*p - 8. Let k = p + -4. Which is smaller: q or k?
k
Let a(b) = 16*b**2 + 39*b + 66. Let p(y) = -3*y**2 - 8*y - 13. Let v(z) = -2*a(z) - 11*p(z). Let g be v(-10). Are 12 and g unequal?
True
Let h be 4*1/3 + -1. Let n = 308/3 - 104. Which is smaller: n or h?
n
Let t(a) = a**2 + 16*a + 33. Let p be t(-13). Which is smaller: -15 or p?
-15
Suppose -v - 17 = -2*k, -4*v = k - 3*v - 16. Let y = -18 + k. Let i be 12/42 - 68/y. Which is greater: i or 11?
11
Let m = 3 + -0.2. Let i = m + -2. Let h = -0.2 - i. Is h equal to 2/9?
False
Let q = 5321 + -5327. Let h(j) = j**3 + 3*j**2 - 3*j + 1. Let v be h(-4). Which is bigger: v or q?
v
Let r = 0.1 + 0.1. Let o = r + -0.6. Suppose g + 3*l = 17 - 8, 0 = g + 4*l - 13. Which is greater: o or g?
o
Let g be 3/18*8/(-12). Let x be (10/4 - 1)*-2. Let r = 2 + x. Which is greater: g or r?
g
Suppose 4*d + 4 + 4 = 0. Let y be ((d - -1)*0)/1. Let p = -1004/55 - -94/5. Are p and y equal?
False
Let h = -23/7 + 143/35. Suppose -4*x - x - 2*l + 23 = 0, -2*l + 14 = 2*x. Suppose -f = x*f. Is f smaller than h?
True
Let r(f) = 18*f - 2. Let u = -6 + 5. Let g be r(u). Is g > -20?
False
Suppose c - 5*s = 10, -5*c - 2*s - 2 - 2 = 0. Let l be 4/150*(c + 5). Which is smaller: l or 1?
l
Let x(z) = -z**3 - 7*z**2 + 8*z. Let t be x(-8). Is 1/443 > t?
True
Let x be ((-120)/16 + 6)/(9/(-6)). Does x = -1/648?
False
Suppose 2 = 2*z + t, 0 = 4*z + 4*t - 7 - 5. Are z and -6/55 non-equal?
True
Let s = 4/63 - -2/9. Let j = 21.8 + -25. Let r = -3 - j. Which is smaller: r or s?
r
Let r = 17063405/1126 - 15154. Do r and 1 have the same value?
False
Let f = 6540396 - 1700506049/260. Let u = f + 227/26. Let a = u + 17/5. Which is smaller: a or -1?
-1
Let z be -1*(-3 + 84)*1. Let l be 6/z*(-12)/(-32). Which is bigger: -1 or l?
l
Let g = 40 - 23. Let t = -17.1 + g. Let r = -0.6 - -0.5. Is t not equal to r?
False
Let f be 3/1*(0 + 5). Let o be 16/6*f/250. Which is smaller: o or -1?
-1
Let u(z) = -z**2 - 8*z + 11. Suppose -3*g - 2*g = 2*n + 8, -12 = 2*n + 3*g. Let b be u(n). Let t = 26 + -22. Which is smaller: t or b?
b
Let p be (9 - 140/15)/(1/3). Is 2/637 at least as big as p?
True
Suppose -64*v + 60*v + 1228 = -2*n, v - 307 = -4*n. Which is smaller: 0.1 or v?
0.1
Let h = -294 - -280. Do h and -12 have the same value?
False
Suppose 0 = -2*x + 7*x - 30. Suppose 2 - x = v. Let m(a) = -a**2 - 11*a + 21. Let f be m(-13). Is v bigger than f?
True
Let h(p) = p**3 - 16*p**2 - 37*p - 4. Let g be h(18). Let q be ((-12)/22)/3 + 84/g. Which is greater: q or -2?
-2
Let i = 1278 - 1269. Let s = -0.4 - -3.4. Let y = s - 2. Which is smaller: i or y?
y
Let r be 6 - (1 - -4 - 4). Suppose 0 = -r*n + 7*n - 2. Is n < 8?
True
Let y(s) = s**3 + 2*s**2. Let d be y(-2). Suppose 5 = 8*i - 83. Let p be (-82)/451 + 2/i + 1. Which is greater: p or d?
p
Let u = -186 + 90. Let l be u/10 - 24/(-40). Do -10 and l have the same value?
False
Let c = 446971/121 - 3694. Is 0 not equal to c?
True
Let i = -0.48 -