 q - 4 = 2*p, y = -5*p - q + 2. Suppose 6*x + 10 = x. Is p at most as big as x?
True
Let m = 4.3 - -0.7. Let p = 4.96 - m. Suppose -q = 9 - 8. Which is bigger: q or p?
p
Suppose 5*s + 6 = 2*h - 4, 5*h = 2*s + 25. Let m be (1/2)/(h/(-24)). Which is greater: -3 or m?
m
Suppose 19*c + 8 = 23*c. Let b be (6/36 + c/(-3))*46. Do -22 and b have different values?
True
Suppose -11*d - 150 = -84. Which is smaller: 5 or d?
d
Suppose 1079 = -5*q - 3*n, 3*q + 917 - 260 = -5*n. Are q and -212 equal?
False
Let h = 64/153 + -9/17. Suppose 3 + 1 = q. Suppose q*f - 3 = 1. Which is bigger: h or f?
f
Let p(o) = 6*o**2 - 74*o + 95. Let n(q) = 2*q**2 - 24*q + 32. Let v(y) = -7*n(y) + 2*p(y). Let l be v(8). Is l >= -5/8?
False
Suppose 0 = -11*i - 88 - 198. Let c be (78/i)/(0 - 1). Which is greater: c or 14?
14
Let n(o) = o - 3. Let m be n(5). Let g be m + 22/(-6) + 0. Let x be (-11)/(-33)*-15 - -1*2. Which is greater: g or x?
g
Let f = 7.08 + 0.02. Let a = f + -9.1. Let q be 6/(-4)*(-2)/(-6). Which is greater: a or q?
q
Let q(x) = 2*x + 7. Let c be q(-5). Suppose -3*u + 2*i - 31 = 0, 3*u + 28 = 5*i - 0*i. Let t = c - u. Are t and 8 unequal?
False
Let o be 40/16 + (-3)/(3*2). Suppose 6*l = 5*l - o*k - 25, -k + 70 = -2*l. Is l at most as big as -34?
False
Let j be 1 - (-1)/(-1) - 0. Suppose -4*t + t + 24 = -5*r, 3*t - 9 = j. Is r at least as big as -2?
False
Let v = 10766/7303 + -100/67. Let q be 0/(3*4/(-6)). Is v equal to q?
False
Let n(z) = z**3 + 2*z - 1. Suppose -11*o - 3 = -12*o. Let h be n(o). Are 34 and h nonequal?
True
Let d = 8 + 9. Let r = 1095 + -1076. Do d and r have different values?
True
Suppose 0 = -k + 5*s + 11, -2*k - 3*k = -2*s - 9. Which is bigger: k or 7/26?
k
Let u be 0/(1/(-2) - 15/(-6)). Which is bigger: u or -10/9?
u
Let f(g) = -g**3 - 18*g**2 + 17*g + 11. Let r be f(-12). Do r and -1056 have different values?
True
Let h = 789 + -790. Is h < 3/50?
True
Suppose 5 = 3*t - 4*u, 0 = 4*t - 5*t + 3*u. Suppose 5*b + 3*p = 3, 2*p - 12 = 5*p. Do b and t have the same value?
True
Let a = -10307/16 - -644. Suppose 4*l - 54 = -2*l. Let g = 10 - l. Which is greater: a or g?
g
Let y = 485 - 486. Is -2/15 less than or equal to y?
False
Let l = 660/29 - 84908/3741. Which is greater: -1 or l?
l
Let d = 100 + -65. Suppose 5*u - 119 = -4*a, -4*a = -4*u - d - 129. Suppose -6*i + 2*i = -a. Is i greater than or equal to 10?
False
Suppose -5*w - 68 = -22*w. Is 5 at least w?
True
Let j = -9.6 + 9.555. Let d = j - -0.015. Are 7 and d equal?
False
Let r be (-765)/231 - (-6)/7. Is -3 less than r?
True
Suppose 0 = -3*a + 18 - 6. Suppose -4*z - 22 = -5*h, -a = z - 1. Which is smaller: h or 22/9?
h
Let v(a) = -3*a**2 + 27*a - 33. Let q(o) = 4*o**2 - 41*o + 50. Let y(t) = -5*q(t) - 7*v(t). Let u be y(-17). Is u less than -4?
False
Let x = 436 + -94. Which is smaller: -1/2 or x?
-1/2
Let d = 1 + -51. Let y = 51 + d. Which is greater: -4/5 or y?
y
Let m = 4.8 - -58.2. Let a = m - 40. Does a = 1/4?
False
Let n be (-4)/3*24/(-4). Suppose -7*t + 8*t + u = 5, -2*t - 5*u = -7. Which is smaller: n or t?
t
Let s(j) = -j**2 - 10*j - 1. Let q be s(-11). Let f = q - -5. Let p be f - 0*1/(-1). Is -8 >= p?
False
Let b be 2/2*(-2 + 2). Let r(l) = -l**3 + 11*l**2 + 12*l + 14. Let s be r(12). Suppose 0 = -18*p + s*p. Is b bigger than p?
False
Let t be (2/1 - -1) + -1. Suppose 17*h = 19*h + t. Is h at most -1?
True
Let h(t) = 7*t + 10. Let d be h(-8). Let n = 140/3 + d. Which is smaller: -0.03 or n?
-0.03
Let w = -0.2 - -0.2. Let j = w + -0.1. Let a = -0.27 - -0.1. Which is bigger: a or j?
j
Suppose -64*c + 10*c + 16686 = 0. Do c and 309 have the same value?
True
Let f = 2996 - 51002/17. Is -3 less than or equal to f?
False
Let m be ((-2)/(-4))/(9/6). Let v = 106 - 105.4. Is v less than m?
False
Let q be 1 - (1 + 20) - -5. Suppose 0 = -3*z + z - 32. Which is greater: q or z?
q
Let x(m) = -11*m**3 - m - 1. Let b be x(1). Let h be -3 + (14/91 - 11/b). Which is smaller: h or -1?
h
Let s = 103634/47509 - -2/4319. Which is smaller: s or 1?
1
Let l = 18/829 - -61923/11606. Which is smaller: l or 6?
l
Let h be 6 + 3/(-6)*1*-28. Suppose t - 20 = -2*p, 100 = 5*t + 2*p + 2*p. Is t != h?
False
Let z be -4 - (12/11 - 4). Let b be 45/(-18) + 10/4. Which is greater: z or b?
b
Let j = 86 + -44. Suppose 9*b = 3*b + j. Is b <= 9?
True
Let p = 3 - 4. Let l be p/(-2) - 49/56. Let a(r) = r**2 + 3*r + 1. Let f be a(-2). Which is smaller: f or l?
f
Let s = -13/31 - -1406/3131. Is -2/7 < s?
True
Suppose -4*f - 10 - 10 = 0, -5*f + 161 = 2*s. Is 94 < s?
False
Let j = 4.26 - 1.06. Let s = j + -3.1. Is s <= 11?
True
Let i = 0.11 + 3.89. Let l = i - -5. Let o = l - 11. Which is greater: 0.1 or o?
0.1
Let p = 166653/11260 + -1/2252. Let c(g) = g**2 - 1. Let n be c(4). Is n < p?
False
Let i(j) = -4*j + 15. Let g be i(6). Does -6 = g?
False
Let y = -9 - -13. Suppose 8 = -y*k + 2*s + 2, 3*k - 3 = -s. Which is smaller: k or -2/43?
-2/43
Let j(z) = z**3 + 17*z**2 + 11*z + 3. Let k be j(-10). Which is smaller: k or 592?
592
Let b = 0.121 - -18.479. Let k = b + 16.4. Which is greater: k or 0.1?
k
Suppose 0 = -102*c + 162*c - 540. Suppose -s = 4*m + 3*s - 64, 54 = 4*m + 2*s. Are c and m unequal?
True
Let q(a) be the second derivative of -a**3/6 + a**2/2 + 3*a. Let y be q(-3). Suppose -2*g + 0*f = f + 18, -g + y*f = 18. Is -11 > g?
False
Let g(c) = -c**3 + c**2 - 8*c - 52. Let b be g(0). Is -52 at most b?
True
Let k = 1 - 1. Let x(g) = -4*g**2 - 5*g**2 + 8*g**2 + 1. Let l be x(k). Which is greater: 2/21 or l?
l
Let l = -613 + 5531/9. Which is smaller: 3 or l?
l
Suppose 2*m + 27 - 13 = 0. Let a = m - -12. Is 4 <= a?
True
Let d be 1422/28 - 12/42. Let k = d - 1309/26. Let i(z) = -z - 3. Let x be i(-2). Which is greater: k or x?
k
Suppose 7*r - 283 = -248. Let g(y) = y**2 - 1. Let u be g(3). Is r equal to u?
False
Suppose 3*k = -4*d + 202, 56 = 3*k - d - 156. Suppose 0 = -3*t + 308 + k. Which is smaller: 127 or t?
t
Let b be ((-14)/6)/(4*(-1)/36). Which is bigger: 17 or b?
b
Let y be (2 - (-4 - -4))*1/(-265). Is y greater than or equal to 1?
False
Let o be 39/2*(-102)/(-9). Suppose 6*u = 3*u - m + 127, -5*u - 4*m = -o. Suppose u = -5*a + 6. Which is greater: -6 or a?
-6
Let v be 737/5 + (-654)/(-1090). Which is bigger: 595/4 or v?
595/4
Let u = -298/231 - -48/77. Are u and 2191 unequal?
True
Let l be (-11)/88*318*(-4)/6. Which is greater: 0.1 or l?
l
Let v = -1741052/920075 - -282/149. Which is smaller: v or -1?
-1
Let c = 26 - 23. Let v(i) be the third derivative of i**6/120 - i**5/15 + i**4/12 - i**3/3 - i**2. Let t be v(c). Do t and -5 have different values?
False
Suppose 0 = -2*i - i + 90. Let p = i + -123/4. Let r = -23646.1 - -23646. Which is greater: p or r?
r
Let r be 128 - (-7 - (-9 + -3)). Which is greater: 122 or r?
r
Let h = -11.5 + 13. Let d = -16.5 + h. Let t = d + 16. Which is smaller: -0.2 or t?
-0.2
Let g = 791/9 + -333029/3789. Which is smaller: g or 0?
g
Suppose -17 = -4*q - 9. Suppose q*p - 15 = -1. Let n = -9 - -16. Does p = n?
True
Let p = 44.9 + -45.2. Which is smaller: -17 or p?
-17
Let i(h) = 5*h - 77. Let v be i(12). Suppose -2*f = f - 141. Let q = f + v. Which is smaller: q or 2/7?
2/7
Let o = 9 + -9. Let h = o + 0.06. Let m = h + -0.06. Does m = -0.1?
False
Let w(g) = g - 10. Let x be w(9). Let z = -54851 + 275336/5. Let y = z + -217. Is x less than y?
True
Let s = -3092 - -479262/155. Let o = -10721 - -10721. Is s smaller than o?
False
Let x = -7 - -1.6. Let z = 5.4 + x. Suppose -5*c - 32 = -5*f - 87, -4*c + 32 = -f. Is c >= z?
True
Let t = 74 - 118. Which is bigger: 2 or t?
2
Suppose 20 = 4*d - 4. Suppose 5*a + 4 = -d. Let k be (10/a)/(-5) + -2. Is -1 bigger than k?
False
Let g = -368 - -367.6. Do -2/65 and g have the same value?
False
Let k(i) = -3*i - 31. Let y be k(-17). Suppose 4*h = y - 0, -4*v - 10 = -2*h. Which is greater: v or -1/66?
v
Let n = 0.31 + -0.01. Let o be 7/7*5/15. Is o equal to n?
False
Suppose -2*q + 2 = k, 0*q - 2*q + 2*k = -2. Suppose 3*s - 4*s - 1 = 0. Let j be -1 - 3 - s*q. Which is greater: j or -5?
j
Let w be 2/1*72/16. Let k = -5.9 - -6. Let r = -0.1 - k. Which is smaller: w or r?
r
Let v = 2 - 15. Suppose 8*y - 47 = 9. Let q be 2/(y/(-6) + (10 - 9)). Which is bigger: v or q?
q
Suppose 1 = 2*b + 2*f + 5, -2*b - 4*f = 10. Which is greater: b or -2?
b
Let x(j) = 21*j - 41