13 = r - 3*p, -5*p + 11 + 13 = -4*r. Let a be 0 + 32/76 - (-1 - r). Which is bigger: -2/5 or a?
a
Let i = -21159 - -21158. Is i at least as big as -21/928?
False
Let v = 19/14 - 6/7. Let j = -217 - -216.702. Let a = -0.102 + j. Is v at least as big as a?
True
Let h = -9 - -10. Let b = -4.44 - -0.44. Let w = 1.5 + b. Which is greater: w or h?
h
Let v = 13539501/221 - 61265. Is 1 greater than v?
True
Let u(o) = 4*o - 147. Let q be u(37). Let x be (q - -1) + (-30)/18. Is x >= -1?
True
Let h be 20/(-90)*(-369)/82. Let n be (-10)/(-574)*(-8)/20. Let v = 869/1148 + n. Which is bigger: h or v?
h
Let u(j) = 140*j + 12. Let y be u(20). Is y bigger than 2814?
False
Let t(r) = -r**3 + r**2 + r + 1. Let z be t(2). Let k be (-2)/(-104)*16*5/230. Which is smaller: k or z?
z
Let k(m) = -m**2 - 14*m - 29. Let q be k(-12). Let y = 115/3378 - 2/2815. Is q >= y?
False
Let k(s) = 11*s**2 - 24*s + 8. Let t(b) = 7*b**2 - 16*b + 5. Let c(d) = -5*k(d) + 8*t(d). Let y be c(7). Let r be (-2)/4*y/28. Does r = 1?
False
Let v = -3064 - -2425. Do v and -638 have the same value?
False
Let h = -737/156 + 19/4. Suppose -16 = 4*d + 8. Let n(l) = l**2 + 6*l. Let r be n(d). Which is smaller: h or r?
r
Suppose -7*n + 1 = 29. Let x be ((-1)/(-7 + 8))/(n + 3). Is -438 bigger than x?
False
Let q be (-17)/(-7) - 32/(-56). Suppose 0 = n + q + 3. Let h(w) = -w**2 + 3*w + 14. Let u be h(n). Which is greater: u or -41?
u
Let d = -10.02 + 10. Let k = 2.68 - -8.32. Which is smaller: k or d?
d
Suppose -5*o + 20 = 0, -o = c - 3*o - 10. Suppose -10*l - c = -8. Is l bigger than -16/9?
True
Let q = 575 + -130. Is q not equal to 443?
True
Let j = -11662 - -11664. Which is smaller: 145/273 or j?
145/273
Let q = 84462 + -168899/2. Let w(d) = 5*d**2 - 4*d + 2. Let l be w(2). Is q less than l?
True
Let o = -746 - -743. Is o smaller than -575/2?
False
Let d = 1.693 - 1.643. Is d >= 1400?
False
Let b(t) = -t**3 + 4*t**2 + 7*t + 26. Let d be b(5). Let f = -7 - -44. Are f and d equal?
False
Let c(t) = -4*t + 10. Let p be c(6). Let i be (156/p - 0)/(5/(-7)). Is 17 equal to i?
False
Let o = -3421 - -3664. Are o and 2174/9 equal?
False
Let f = 2893/90 + -161/5. Let r be 16*4/128 + (-3)/(-12)*2. Is r >= f?
True
Let b(h) = -h**2 + 14*h + 350. Let o be b(27). Are o and -8/81 unequal?
True
Let r(c) = 7*c - 119. Let i be r(17). Suppose 4*f + i*f = -4, -2*m + f - 1 = 0. Is -2/87 less than or equal to m?
False
Let d = 283.53 - -1.47. Let q = -269 + d. Which is greater: q or 0.2?
q
Let n(l) = 10*l + 29. Let h be n(-6). Let a = -22 - h. Suppose -6*y = -a*y + 9. Is -1 at most y?
True
Let h(d) = 12*d**2 - d - 1. Let q be h(2). Let v be 243/2*-1*308/(-231). Suppose 5*k - 5*r = 103 + 87, -2*r = -4*k + v. Which is bigger: q or k?
q
Suppose -3*x + 55 - 13 = 0. Let y(f) = -52*f. Let m be y(-1). Let n be 21/x*m/6. Is 13 <= n?
True
Let m = -0.142 - -13.142. Let p = -0.54 + -2.36. Let f = p - -2.8. Is f at most m?
True
Let y = 66.93 + -66.83. Is -7765 > y?
False
Let z = 1512.6 + -1589.99. Let j = -77 - z. Which is smaller: j or 0.2?
0.2
Let d = -52865/23 + 2298. Let m = 1695 - 1694. Which is greater: d or m?
m
Let x = 9591.9 - 1787.9. Which is greater: 0.1 or x?
x
Let p be 117/((-66)/(-11) - 7). Is p greater than or equal to -1286/11?
False
Let s = -649.4496 - -650. Let t = s + -0.0504. Let d = 1.1 + -1. Is t less than d?
False
Let g = -95.68 + 1.68. Let f = -89 - g. Are -3/4 and f non-equal?
True
Let j(s) = 318*s + 5405. Let d be j(-17). Which is smaller: -1/154 or d?
d
Let v(g) = -2*g**3 - 23*g**2 + 11*g + 204. Let n be v(-11). Is n at least as big as -1680/43?
True
Let n = -6716 - -6061. Which is smaller: n or 4?
n
Suppose -57 = -2*r + 3. Suppose 3*p + 1 = 2*m + 57, -5*m + r = p. Let h be (12/9)/(p/6). Which is bigger: 0 or h?
h
Let u(c) = 48*c + 64. Let i be u(-4). Let t = -41 + -88. Which is smaller: t or i?
t
Let z = -13.52 + 15.52. Is z != -21/43?
True
Let j = -58 + 87.2. Let z = 38.2 - j. Which is smaller: z or 0?
0
Suppose 10*h = 15*h - 1060. Suppose 0 = b + k + 35 + 33, 3*b - k = -h. Is b < -69?
True
Let d = 0.7 + 0.3. Suppose 1117 = 4*m - 523. Let l be 1*((-1660)/m + 4). Which is bigger: l or d?
d
Let c be -5*16/(-10) - 9. Let n be (2 - 1)/((-39)/33). Do n and c have different values?
True
Let m(j) = -j**2 + 6*j + 139. Let t be m(11). Suppose 0 = 8*h - 84 - t. Are h and 18 unequal?
True
Suppose -15 = 3*q - 0. Suppose -945 = 84*v + 689 - 1214. Are v and q equal?
True
Let w(x) = -x**2 + 5*x + 44. Let b be w(11). Let i(s) = s**2 - 6. Let p be i(0). Let f = p - b. Is 16 at least f?
True
Let o = 47 - 189. Let n = o - -49. Are -93 and n equal?
True
Let i = 612 - 595. Suppose 5*h - i - 11 = 7*f, 5*h = -5*f - 20. Do 3/352 and h have the same value?
False
Let j = 41710/26773 + -64/41. Let b = -34 + 33. Do j and b have different values?
True
Let c = 1.77 + -2.065. Let a = -0.895 - c. Is a not equal to 5?
True
Let m(q) = -19*q + 129. Let n be m(7). Let d be ((-2)/n)/((-24)/(-852)). Is d greater than or equal to 18?
False
Let s be (-6)/230*(-8)/(-12). Let i = -7/262 - -69/131. Is s != i?
True
Suppose -5*b = -5*d - 0*b + 235, 0 = 3*d + 2*b - 161. Suppose 0 = -4*g - 0*p - 3*p - d, -g - 3*p = 6. Which is smaller: 1 or g?
g
Suppose -3*v + 5*h + 224 = -196, 0 = -5*v + 2*h + 662. Is 107 bigger than v?
False
Suppose 3*v - 804 = -5*x, 4*x + 5*v = 6*x - 303. Suppose -4*b = 2*j + 106, 3*j + 3*b + x = -2*b. Let y = -85 + 33. Is j > y?
False
Let c(k) = k**3 + 12*k**2 - 49*k - 58. Let q be c(-15). Is q >= 7/6?
True
Suppose 35*r - 3017 - 308 = 0. Which is bigger: 468/5 or r?
r
Let i be 1/(-5)*-1*-23. Let v = -512 + 512. Let m be (-2 - (5 - 11)) + (v - 8). Is i != m?
True
Suppose 4*y = -y + 40. Suppose -3*m + y = -25. Let c = -211381 - -845567/4. Which is bigger: m or c?
m
Suppose -63*p = -232*p - 204*p + 1492. Which is smaller: -773 or p?
-773
Suppose -a + 0*a + 3 = 0, -47 = 4*m - 5*a. Let h(v) be the second derivative of -31*v**3/3 - 439*v**2/2 + 206*v. Let b be h(-7). Which is bigger: m or b?
b
Let n = 51 + -38. Suppose -16 = -z - n. Let k be 9/(-6)*1*-2. Do z and k have different values?
False
Let g = 16701.884 - 16702. Is -0.34 equal to g?
False
Let b(v) = -2*v**3 + 112*v**2 - 111*v + 48. Let m be b(55). Suppose 91*k = 98*k + 56. Is k greater than m?
False
Suppose 2*y + 2 = 3*y, 0 = 2*g + 2*y - 188. Let b = g + -93. Is 1/197 != b?
True
Let y = -1.2 + 1.2. Let l be (-3)/(2580/(-3695)) - 3 - (-80)/(-64). Which is smaller: l or y?
y
Let j = -25 - 146. Let n = 133 + j. Is n greater than 0.1?
False
Let w = 365 - 366. Let r = -1679869/90 - -18663. Let m = -21/10 - r. Which is smaller: w or m?
w
Let j be (-115)/92 - (-15)/12. Let m(b) = -b**2 + 3*b + 4. Let g be m(3). Suppose -g*x + 12 = j, 0*c = 2*c + 4*x - 20. Which is smaller: c or 0.3?
0.3
Let w = 20003 - 2020284/101. Are 0 and w nonequal?
True
Let b(m) = -222*m**2. Let i be b(-1). Let n = -1111/5 - i. Suppose 26 = -p - 5*y, -3 = 5*y + 2. Is p smaller than n?
True
Let s = -138 - -205. Let g = s + -66. Which is smaller: g or -7.6?
-7.6
Let h(b) = -b**2 - 15*b - 27. Suppose 0 = -5*d - 48 - 17. Let m be h(d). Let q(u) = u**3 - u. Let o be q(m). Is o at least as big as -1/8?
True
Let j = 2921/4 - 306571/420. Let l = -6145/3 - -2048. Let f = j + l. Which is bigger: f or -1?
f
Suppose -12 = -w - 8. Suppose 2*k - 4*k - 34 = w*r, -5*k = -3*r + 46. Which is smaller: -6 or k?
k
Let s = -43/2 - -733/34. Let r = -4/25 - 16/25. Which is smaller: r or s?
r
Let o = 31 + 34.06. Let m = 65 - o. Is m not equal to 10?
True
Suppose -16 = -2*s - 1447*h + 1445*h, 4*h = 5*s + 23. Is s <= 1/2255?
False
Let s(u) be the third derivative of u**4/4 + 4*u**3/3 + 14*u**2. Let x be s(-6). Let q be x/4 + (5 - 1). Is q >= -14/5?
False
Let r(l) = 3*l**2 + 6*l - 144. Let q be r(6). Which is greater: -6/857 or q?
q
Let t = -478 + -392. Let o = -837 - t. Which is bigger: o or 34?
34
Let b = 188 - 186. Let g = b + 2/3. Which is bigger: g or 4?
4
Let y = 121 - 14. Let o = -64 + y. Let n = -42.8 + o. Are n and 4 unequal?
True
Let j = -3693 + 3693. Which is smaller: 4/8135 or j?
j
Suppose 2*i - 53 = -9. Let p be 1*(-2)/1 + i. Suppose -6*v = -5*v - 20. Is v not equal to p?
False
Let c = -4773 - -8830. Which is smaller: c or -1?
-1
Let p = -3090 - -3091. Is p < 1/4018?
False
Let v = -7.704 + -221.296. Is 29 at most v?
False
L