ose -3*t + t + 12 = n*g, 3*g = -3*t + 12. Which is greater: -1 or t?
t
Let h(n) = n + 1. Let o be h(1). Suppose 5*k + 2*b + o*b - 78 = 0, 0 = 2*k - 4*b - 48. Which is bigger: k or 19?
19
Let r be 2 - (2/(-246) - -2). Do 0 and r have different values?
True
Let f = -16 + 16.087. Let h = f - -0.013. Which is smaller: h or 2.9?
h
Let z = 1.203 - 1.189. Is 0.1 at most as big as z?
False
Suppose 0 = -n + 25 + 99. Let a be (n/(-136) + 1)*(-3 - -4). Is a greater than 0?
True
Suppose -285 - 19 = 8*j. Which is smaller: j or -40?
-40
Let f(t) = -9*t**2 - 18 + 7*t**2 + t + 7*t**2 - t**3. Let v be f(5). Is v < -15?
False
Let v(r) = 8*r**2 + 83*r + 29. Let h be v(-10). Let o(s) = -s**3 + 5*s**2 + 7*s + 3. Let y be o(6). Which is greater: h or y?
y
Suppose -5*q = 3*v - 0 + 3, 2*v + 4 = -4*q. Suppose -v = -s - o + 1, s = -3*o + 5. Is s less than 5?
False
Let t = -1.15 + -134.85. Is t <= 2/3?
True
Suppose 2*m - 2*t + 220 = 0, -4*m + 5*t - 438 = 2*t. Is -106 at least as big as m?
True
Suppose -5*l + 2*a = 67, -3*l + 5*a - 79 + 35 = 0. Is l not equal to -24?
True
Suppose 0 = 5*a + 2 + 83. Is a at most as big as -78/5?
True
Let s = 194/285 - 18/19. Let x be 0 + (-6)/(-3 + 1). Suppose 2*f = -n, 0 = -x*f + 3*n - 4*n - 1. Which is smaller: s or f?
f
Let k = -4/13 + -1/39. Let v be (-4)/(-14) + (-30)/(-42). Is k smaller than v?
True
Let b(n) = 3*n. Let g be b(-5). Let y = -12 - g. Suppose -3*k = -y*w - 9, -4*w - 2*k = w + 43. Are -9 and w non-equal?
True
Suppose 3*u - 2*w - 31 = 0, -16*w + 32 = 3*u - 17*w. Which is greater: 8 or u?
u
Let x = 319247/28 + -48245/4. Let r = 661 + x. Which is smaller: 2 or r?
r
Let w = -602 + 581. Which is bigger: w or -39/2?
-39/2
Let x(j) = 3*j + 3. Let z be x(0). Suppose -4*w + 9 = -23. Suppose -5*g - w = -g + 4*k, -4 = -g + k. Is z bigger than g?
True
Let x = -174895/39 + 4485. Which is smaller: 0 or x?
0
Suppose 0*u - 245 = -5*u. Does u = 54?
False
Let s(k) = -21 - 139*k**2 - 144*k**2 + 27*k + 285*k**2. Let z be s(-14). Which is greater: z or -31/5?
-31/5
Let x = 0.083 + 0.085. Let p = 0.032 + x. Which is smaller: p or -0.3?
-0.3
Let n(t) = 27*t + 47. Let i be n(-7). Let r = -143 - i. Is r < -2/139?
True
Let w = -742 + 3033/4. Let z be (-40)/6*36/(-15). Let v = z - w. Does 1.6 = v?
False
Let z(r) = -2*r**2 - 5*r - 2. Let u be z(-2). Which is bigger: -1/236 or u?
u
Let x = -31 - -39. Let v be (-16)/x + 2 + -1. Which is smaller: v or 7?
v
Suppose 0 = 58*h - 57*h + 110. Let c = 62 + h. Which is smaller: -47 or c?
c
Let l be 1/(2*(-3)/18). Let h(p) = -2*p**2 + 9*p + 3. Let i be h(l). Which is greater: i or -43?
i
Let y be (-2)/(2/48*-3). Let d = 19 - y. Suppose -i + 5*h + 8 + 28 = 0, -d*i = 4*h - 51. Which is smaller: i or 22?
i
Let k = 3587 + -3587. Suppose 2*d + d = -l + 10, -4*l + 8 = 4*d. Which is greater: l or k?
k
Let g be (1 - (-9)/(-6))*-1. Let d = -13 + 13.18. Let j = d - 7.18. Which is smaller: j or g?
j
Let p be -1 + 2 + (-525)/245. Is -3/14 at most as big as p?
False
Let n = -95.97 - -96. Let d = -16.27 - -0.27. Let k = 14 + d. Is n > k?
True
Let a = 6.81 + -6.51. Is 70 at most a?
False
Let n be 4/6 - (-45496)/(-141). Which is smaller: n or -1608/5?
n
Let j = -59632/5 + 11999. Which is greater: 74 or j?
74
Let g = 184283269/4509170580 + -1/1029491. Let k = 2/219 + g. Which is smaller: 0 or k?
0
Suppose -10*b = -13*b + 10*b. Is b at least as big as -5/637?
True
Suppose 0 = -0*o - 2*o - 2*d + 6, -3*o - 2*d = -6. Is o > -0.006?
True
Let a = 94 - 370. Is a less than or equal to -277?
False
Let v = -115.55 - -1.55. Which is bigger: 2 or v?
2
Let c = 1863/7 + -265. Let o = 412 - 411. Is c bigger than o?
True
Let j = 0.0494 - -18.9506. Let y = 47 - 67. Let p = y + j. Which is bigger: -12/5 or p?
p
Suppose -y + 121 = 5*x - 119, 5*x - 2*y = 240. Suppose 3*l - x = 7*l. Let r be 9/l - 2/(-4). Which is smaller: -4 or r?
-4
Let j be 0 + 0 + (0 - -27). Does 0.2 = j?
False
Let v = -13 - -7. Let f = -1545 - -1544.9. Is f less than v?
False
Suppose -2*n + 4*n - 64 = 0. Let u be (2 + -1)/((-2)/52). Let t = n + u. Is 5 bigger than t?
False
Let h = 1 + -2. Let z = -31 - -30.5. Let n = 0.3 + z. Is h != n?
True
Suppose 0 = -3*g + 5*q - 11, 0*g - q = 5*g - 19. Suppose -g*j + 4 - 61 = 0. Which is greater: j or 2/5?
2/5
Let q = 81 + -80. Suppose 3*a + 0 = 4*t - q, -3*t = -3*a. Let h = -0.1 - 0.1. Which is smaller: a or h?
h
Let b = -499 - -498.74. Which is smaller: -3 or b?
-3
Let h(v) = -v + 19. Let k be h(25). Let q be (k/12)/((-2)/24). Which is bigger: q or -0.01?
q
Let r be (18/21)/(1/14). Suppose -6*m + 0*m + 60 = 0. Is m at least r?
False
Let x(s) = -11*s + 88. Let v be x(8). Which is smaller: -2/11 or v?
-2/11
Let s be (0 - 2/(-6))*(29 - 74). Are -15 and s equal?
True
Let a = 369 - 348. Is a at least 25?
False
Suppose v - 3*r = -12 - 3, -5*v - 3*r = 3. Let y be (-357)/(-105) - v/5. Is y less than or equal to 4?
True
Let o = -491/5 - -503/5. Let a = 130 + -130. Which is smaller: o or a?
a
Let w be (3 - 2)*(0 + 8). Suppose 0 = -2*i - w, -8 = 2*c + 4*i + 36. Let g be 4/c - (-18)/63. Which is smaller: g or 1?
g
Suppose -3*o + 15 = -21. Let u(r) = -2*r + 11. Let v be u(o). Is -13 less than or equal to v?
True
Suppose 19 + 257 = 3*w - 3*a, 0 = -w - 4*a + 67. Which is smaller: w or 88?
w
Suppose 3*n = 23 - 71. Suppose 2*w - 12 = 3*q - 283, -2*q = -w - 181. Suppose q = -5*f - 2*z, z + 60 + 28 = -5*f. Are n and f unequal?
True
Let i(l) be the first derivative of 5*l**3/3 + l**2 + l - 7. Let y be i(-1). Suppose y = -3*k - q, -2*k + 4*k - 5*q = 20. Which is bigger: k or 5/6?
5/6
Suppose g + 60 = -5*s - 4*g, 2*s - 4*g - 6 = 0. Let b(y) = -y + 7. Let u be b(s). Suppose 0 = -6*p - 22 - u. Which is bigger: p or -22/3?
p
Let w be 328/(-24) + 9/(-3). Which is smaller: w or -16?
w
Let u = -15254/1921 + -20/113. Which is smaller: u or -9?
-9
Let f(a) = -a**2 - 14*a - 12. Suppose -4*h + 4*p = p + 4, 0 = 3*p - 12. Let l be (5 - 4)/(h/(-26)). Let n be f(l). Is 1/2 not equal to n?
True
Suppose 209 = 5*c + 2*o + o, 0 = -5*o + 15. Let j be -13*c/124 - -4. Is j smaller than 1?
True
Let b = 1081627/15 - 72083. Are 26 and b equal?
False
Let y = 46 + -19. Let a be (1 + -4)*9/y. Let x be 16/(-21) - 8/(-12). Are x and a equal?
False
Let v(g) = 2*g - 2 + 3*g**2 + 5 - 2 - g**3. Let b be v(3). Which is smaller: b or 6?
6
Let g = -1018 - -1017. Let r be 202/266 - 4/14. Let i = r + -89/228. Which is smaller: i or g?
g
Let f = -7 - -8. Let h = -9247/222 - -125/3. Is f bigger than h?
True
Let u be (-6)/15*2*-5. Suppose u*z = -1 + 25. Suppose -2*q - 3*g = -z, q - 5*q - 6 = -3*g. Which is smaller: -2/15 or q?
-2/15
Let y(b) = 26*b**2 - 3*b - 5. Let w be y(-1). Which is bigger: 21 or w?
w
Let t = 81 + -18. Let n be ((-24)/t)/2 - (-8)/28. Which is smaller: -1 or n?
-1
Let g = 17 - 14. Suppose -c - 6 = -g*c. Let i = 35/26 + 2/13. Is i at least c?
False
Let g = -4208383/544 - -7736. Is g greater than 1/2?
False
Suppose -4 = -s - 0, -3*s - 2 = -2*t. Suppose t*b = 18*b. Let i be (-4)/10*5/(-9). Is i < b?
False
Let q(h) = -h**3 - 15*h**2 - 54*h + 18. Let y be q(-8). Suppose -4*v = 3*s + 1, -2*v - 14 = 4*s - 3*v. Let a = s + 5. Is a less than y?
False
Suppose -g - g - 6 = 0. Let u be 1*8*g/(-6). Do -1 and u have different values?
True
Let a = -0.44 - -0.08. Let b = -2.16 - a. Is 1 smaller than b?
False
Let l be (-158)/(-6) + 2/(-6). Let y = 1446 - 1419. Is l at least as big as y?
False
Let t = -0.0059 + 53.0059. Are 1/2 and t unequal?
True
Let n = -12 - 30. Let h = n - -59. Let w = 16.6 - h. Which is greater: 0.1 or w?
0.1
Let o = -842/2499 - -3/833. Which is bigger: o or 84?
84
Let l(d) = 3*d + 32. Let n be l(-10). Suppose 3*i + 2*v = 59, 5*v = 22 - n. Are 17 and i non-equal?
False
Let k = -2605/8 + 326. Let v = -3 + 10/3. Is v greater than or equal to k?
False
Let g(i) = i**2 + 6*i + 5. Let b be g(-4). Let t = 2 - b. Suppose -3*r - 13 = 5*n - 3*n, 4*n + 15 = t*r. Which is smaller: -4 or n?
n
Let o = 594 + -662. Which is smaller: -71 or o?
-71
Suppose 0 = 39*z - 69 + 69. Which is bigger: z or 2/547?
2/547
Let v = -53.7 + 56.7. Let s(m) = -m**3 - 3*m**2 + 5*m. Let d be s(-4). Do v and d have the same value?
False
Let a(b) = -3*b**3 + 4*b**2 - 4*b - 19. Let r be a(-5). Is 478 bigger than r?
True
Let j(w) = -8*w**2 + 21*w. Let i be j(2). Is 10 > i?
False
Suppose 0 = 2*f + f - 12. Suppos