0.72 + i. Is -5 less than p?
True
Let a = 137 - 138. Which is bigger: 5/13 or a?
5/13
Let c = -0.08 - -0.48. Let h = c - 0.5. Let b = 302/7 + -44. Which is bigger: h or b?
h
Let b = -17032 + 6080428/357. Which is greater: b or 0?
b
Let s = 0 + 4. Suppose -3*d - 51 = s*h, -6*h - 2*d - 50 = -2*h. Let z be ((-1)/(-2))/((-28)/56). Is h not equal to z?
True
Let k = -0.0368 + -0.9632. Which is smaller: k or 1665?
k
Let g be -2 - (159 - (-4 + 6 + -1)). Is g less than -161?
False
Let w = 1.82 + -0.02. Let a(d) = d**2 - d - 2. Let q be a(0). Which is smaller: w or q?
q
Let r = 18 - -2. Let o be (r/15)/((-6)/(-9)). Suppose 0 = -3*h - 5*q - 5, 2*h - o*q = 2 - 0. Is h > 0?
False
Let f be -1 + (-6)/18*-45. Which is greater: 0.11 or f?
f
Let i = -764.5 - 216.5. Which is bigger: i or 0?
0
Let a(c) = -7*c**2 + 6. Let t be a(3). Let n = 96 + t. Is n equal to 39?
True
Suppose 384*t = 409*t - 50. Suppose 0 = -j + 2*j. Is j < t?
True
Suppose 4*f - 48 = -d, 0*f - 12 = -f + 5*d. Let v be 96/8 + (-1 - -2). Is v greater than or equal to f?
True
Let f = 1077/2 + -549. Is -11 bigger than f?
False
Let m = 467 + -346. Which is greater: 119 or m?
m
Let n = 37283/26936 + 1/2072. Let j(b) = -b + 5. Let q be j(5). Is n greater than or equal to q?
True
Let b = 0.187 - 0.162. Which is greater: -1 or b?
b
Let f(i) = 29*i + 132. Let k be f(-5). Is k <= -13?
True
Let c = 0 + 0.2. Suppose 0*z = 2*z + 10. Let d = -3 - z. Is c not equal to d?
True
Suppose 0 = -296*d + 305*d + 2322. Which is bigger: -4 or d?
-4
Let x be (-1 + -97)*(-2 + 3). Let f be ((-7)/(70/(-12)))/(-5 + 4938/990). Which is smaller: f or x?
f
Let h(o) = 2*o**2 - 3*o - 5. Let v be h(-6). Let d = v - 93. Is d less than or equal to -3?
True
Let i be (-4)/14 - 9882/(-42). Suppose 4*w + 5*j + i = 0, 0 = -5*w - 2*j - 281 - 0. Is w at least as big as -54?
False
Let j be 11/44 + (-30)/(-8). Suppose 0 = a + 5*d - 3*d - 16, -55 = -j*a - 5*d. Which is smaller: a or 8?
8
Suppose 4*i = 2*i + 3*r - 420, 0 = -r. Is -1 > i?
True
Let i(q) = 8*q - 106. Let t be i(13). Suppose -v = -4*v - 99. Is t at most as big as v?
False
Let r = 2492/11 - 480802/2123. Which is bigger: r or 0?
r
Let s = -194 + 194. Suppose -3*u + 2 = -1. Let a be u/70 - 1/(-5). Which is smaller: s or a?
s
Suppose 6*t = 65 + 43. Suppose 0 = -18*p + 21*p - t. Suppose p*z + 16 = 2*z. Which is bigger: -5 or z?
z
Let x be (2 + (-42)/7)*(-6 - -4). Which is smaller: 2 or x?
2
Let u = -9.85 - -9.8. Let z = 0.1 + u. Is z not equal to -1?
True
Let j(d) = d**3 + 18*d**2 - 14*d + 103. Let s be j(-20). Which is bigger: s or -416?
-416
Suppose 2209 = -17*v - 4421. Is v smaller than -390?
False
Let j = 25 - 27. Let b be j/2*(-38)/(-10). Is b at most as big as -3?
True
Let x = 97 + -69. Let r = 28.9 - x. Let v = r - 1.3. Is 0 less than v?
False
Suppose 7*v + 1 + 20 = 0. Let l be -1*(-1 - (2 + v)). Let j = -54/17 + 3. Which is smaller: l or j?
j
Let u(r) = r**2 + 5*r + 11. Suppose -6 = b - l + 1, -6 = -3*l. Let p be u(b). Which is bigger: p or 0.4?
p
Suppose 3*s - 4*s = -6. Let p be (-14)/s - 6/(-9) - -2. Do -1/4 and p have the same value?
False
Let c(k) = -k**3 + 34*k**2 - 66*k + 58. Let v be c(32). Is v < -6?
False
Suppose t - 24 + 22 = 0. Suppose 3*i + 2*x - 532 = 0, 6 = 5*x - 4. Let m be 4/14 + i/168. Is m > t?
False
Let x = 172637/50 - 3453. Is -1 <= x?
True
Let f = 3/2 + 1. Let o = 14 + -11. Suppose 0 = 3*d + 3, 0 = o*h - 0*d - d - 7. Is f != h?
True
Let q = -164.1 - -164. Which is bigger: q or -131?
q
Let i = -1483/4 - -368. Are -3 and i equal?
False
Suppose 16*u - 6095 + 15935 = 0. Which is greater: -616 or u?
u
Suppose 5*m - 22 = -n + 10, 0 = -4*n - 2*m + 56. Suppose 3*y = 5*o + n, -y - y = -5*o - 8. Which is smaller: o or 1/11?
o
Suppose 0 = -4*o - 5*m - 4 - 1, o = 4*m + 4. Is 3/22 greater than or equal to o?
True
Let o be 40/(-45) + (-1)/((-3)/2). Suppose -26 - 2 = -7*f. Suppose -u + f*s - 1 = 7*s, 5*u = -s - 5. Is u <= o?
True
Let n(h) = h**2 + 15*h + 39. Let l be n(-14). Let b = -31 - -5. Let p = l + b. Which is greater: -3/5 or p?
-3/5
Let c = 0.2 + -0.3. Let b = 0.65 - 0.44. Are c and b nonequal?
True
Suppose -5*o = -2*b - 0*b - 251, -b - 112 = 2*o. Is b smaller than -115?
True
Let u be (-8)/(12768/(-27433)) + 4/(-38). Is u > 18?
False
Suppose 0 = -2*w + 9 - 1. Suppose -4*b + w*x = 0, -1 = 3*b - x - 7. Let d be 3 - b*(-3)/(-18). Is d != 2?
True
Let s(a) = 2*a + 28. Let m(x) = 2*x + 29. Let q(z) = -3*m(z) + 4*s(z). Let p be q(-7). Let y be 33*(-1 + (-4)/(-3)). Is y != p?
False
Suppose 60 = -7*p + 3*p. Let s(g) = g + 14. Let k be s(p). Suppose 3*d - 15 = -2*d. Is d greater than or equal to k?
True
Let k = -619/952 + 9/14. Do k and -1 have the same value?
False
Let k = -23 + 11. Let p(b) = 2*b + 13. Let d be p(k). Let y be d/(-80) - (-1)/(-5). Are -1 and y equal?
False
Let y = 54 + -34. Let n = y - 21. Which is greater: 2 or n?
2
Let c be -7 + 3 + 8 - -1. Suppose c*o - 15 = -m, 6 = -2*o + 4*m + 34. Is 3 not equal to o?
True
Let s be 3/(-5) + 44/(-10). Let r be (-6)/(0 - 3) - (s - -12). Is -21/4 < r?
True
Let k = 16 + 3. Let y = k + -17. Suppose -y*s = 4*s - 96. Which is smaller: 15 or s?
15
Let a = 27 - 27. Let t(j) = 2*j**2 - 9*j - 6. Suppose 4*c - 31 = -2*y - 3, 4*y = -3*c + 31. Let p be t(c). Which is bigger: a or p?
a
Let v = -0.29 - -0.19. Are v and 2.14 unequal?
True
Let i = 14.984 - -0.016. Let l = i + -14.95. Which is smaller: -2/5 or l?
-2/5
Let d = -2825/6 + 469. Is d less than -1?
True
Suppose 8 = 16*g - 12*g. Let c be (20/136)/(-5)*g. Is 0 bigger than c?
True
Suppose 5*r - 38*u - 73 = -36*u, -3 = r + 4*u. Is r at least as big as 99/8?
True
Let r(b) = -8*b - 57. Let y be r(-7). Is 1/947 greater than or equal to y?
True
Let r = -1 - -1.74. Let m = -844 + 1689/2. Are r and m non-equal?
True
Suppose 17 = 3*o - 19. Suppose 6*f + o - 6 = 0. Is 3/32 less than f?
False
Let h(k) = 3*k + 256. Let z be h(-23). Which is greater: 190 or z?
190
Let a = 1003 + -589. Let r be (a/36)/(2/16). Is r greater than or equal to 91?
True
Suppose 18*x - 16*x + 2 = 0. Which is greater: x or -31?
x
Suppose -2*j - 2*f - 5 = -f, 3*j + f + 6 = 0. Let o be (-3)/(-9) - (-66)/9*j. Which is smaller: -8 or o?
-8
Suppose 13 = 6*p + 1. Suppose -5*l - 3*a = 6, -p*l - 4 + 2 = a. Is -4/13 at least l?
False
Let b(a) = -a**2 + 5*a - 2. Let n be b(6). Let c be (-1 + 2 + 0)*11. Let u = c + -20. Which is greater: u or n?
n
Let t = 1343 + -108785/81. Let k = 4.666 - 4.466. Is k at most as big as t?
False
Suppose -83*d - 6 - 2 = -75*d. Let h = -67 + 805/12. Which is smaller: d or h?
d
Let a be 14/(-77) + (-732)/(-4389). Is 1 < a?
False
Let n = -3.1 - -1.7. Let y = -11.4 - n. Let h be ((-10)/(-5) + -1)/(-1). Which is smaller: y or h?
y
Let o = -1320 - -1414. Is 5 at most as big as o?
True
Let x be -1 + 3 - 3/1. Let i be ((-3 - x)/(-9 - -11))/3. Let r = 1 - 0. Do r and i have the same value?
False
Suppose 2*x + 2 = 4. Let w be 3 + (75/21)/((-2)/22). Let d = w + 36. Do x and d have the same value?
False
Let d = 15.8 - -29. Let s = -35 + d. Let p = s - 10. Which is smaller: p or 7?
p
Let d(u) = 8*u**2 - 38*u - 8. Let o be d(5). Is -3 < o?
True
Let c(o) be the second derivative of o**5/120 - o**4/12 + 2*o**3/3 - 3*o. Let f(v) be the second derivative of c(v). Let s be f(2). Is s at most -2/29?
False
Let q = 9821259/548 - 17922. Which is smaller: -1 or q?
-1
Let i = 96 - 169. Is -71 equal to i?
False
Let b = -208 + 209. Is b not equal to 2/983?
True
Suppose c + 4*c = 5*x - 25, -4*x + 10 = c. Suppose -11*m + 12*m = -x. Which is greater: m or -1/6?
-1/6
Let x = 3.2 + -1.9. Let m = 1.2 - x. Is m less than 1.8?
True
Suppose 0 = 3*y + 16*o - 11*o + 12, o + 3 = 0. Which is smaller: y or 23/73?
23/73
Let h(v) be the second derivative of -v**3/6 + v**2/2 - 21*v. Let q be h(-8). Are q and 11 equal?
False
Let r = 45.05 + 0.95. Let b = -45.81 + r. Let g = -0.29 + b. Which is greater: g or 6?
6
Suppose 4*u = -1 + 17. Let y be (-2 - -1)*2076/(-312). Let x = y - 54/13. Which is smaller: u or x?
x
Let m = -1.355 - -1.292. Is 1/9 at least as big as m?
True
Let g = 238799/9 - 26468. Suppose 5*c + 4*c = 585. Let i = g - c. Which is bigger: i or 1?
1
Let q be (3 + 3)*(0/(-2) - -1). Let v = q + -4. Is 17/6 equal to v?
False
Let m = -0.7 + 2.7. Let t = 13.03 - 0.03. Let w = 9 - t. Which is greater: m or w?
m
Let y be (-13)/((-