r: n or i?
n
Let z be 3234/1106 + 0 + -2. Let n = -4669/1975 + z. Is -1 != n?
True
Let v(f) = -f**2 + 14*f + 11. Let b be v(10). Let q = b + -14. Is 37 < q?
False
Suppose -11*h - 8372 = -8372. Which is smaller: 3/7547 or h?
h
Let n = 23/11 + 382/33. Let j = 39 - 37. Suppose 3*d + 4*r = 65, -19 = -2*d + j*r + 1. Is n greater than or equal to d?
False
Suppose -1181 = -301*d + 300*d - 5*j, 3623 = 3*d - j. Is d >= 1205?
True
Let t(a) = 15*a + 9. Let c be t(-4). Let s = c + 35. Let d be 4/s + -4 + -1. Is -4 at least d?
True
Let d(k) be the second derivative of -k**5/5 + k**4/12 + k**3/2 + k**2 + k + 1. Let b be d(-1). Let s be (1/(-5))/(2 - 18/b). Which is greater: s or 0.2?
0.2
Suppose 91*i - 94*i + 3 = 0. Let n be (-2 - -2)*8/24*i. Which is greater: -1/195 or n?
n
Suppose -x + 54 = -6*u + 4*u, -x + u = -59. Let d = -255/4 + x. Let n = 34 - 17. Which is smaller: n or d?
d
Suppose 116 = -27*h - 19. Let j be -3 - (-7 + h + 10). Are j and -0.67 nonequal?
True
Let z = 254 - 266. Let o be (z + 102/8)/(15/8). Which is smaller: -34 or o?
-34
Let n(s) = -55*s - 246. Let r be n(-7). Is r at most 141?
True
Suppose -3*j + 29 = 3*n - 7*j, -2*j + 24 = 2*n. Suppose 5*u + 3*p + 7 = 0, 2*u + u - 2*p - n = 0. Suppose -11*y - u = -12*y. Which is bigger: 3/19 or y?
y
Let o = 270.5 - 340.5. Do o and -4/7 have the same value?
False
Let t = -29 + -16. Let h = -44 - t. Let b be 1*(h - 1)/(-6 + 8). Is -37 greater than b?
False
Let j(p) = p**3 + 9*p**2 + 6*p + 3. Let h be j(-8). Suppose 0 = h*i - 17*i - 2204. Let v = i - 14306/13. Is 3 less than v?
False
Let a = 71 - 35. Suppose 0 = 32*h - a*h - 172. Let n(v) = -45*v + 3. Let l be n(1). Which is bigger: h or l?
l
Let k(d) = d**3 + 14*d**2 + 21*d - 15. Suppose -4*b + 4*l = 44, 4*b - 4*l + 56 = -b. Let a be k(b). Which is smaller: 18 or a?
18
Let l be (1/1)/(22/(-4)). Suppose 0 = -5*n + 3*i - 1090, -6*n - 1100 = -n - 5*i. Let h = n - -216. Which is smaller: l or h?
l
Suppose -32*c - 123*c = 202895. Which is smaller: c or -1308?
c
Suppose 31*v - 2535 = 26*v. Suppose 4*q + 3*j + v = 0, q + 128 = j - 2*j. Is q less than or equal to -493/4?
False
Let b = 13587 - 13563. Which is smaller: b or 13?
13
Let b = 11.252 - 11.452. Which is greater: b or -3/1265?
-3/1265
Suppose -4*v = 5*w - 21 - 94, -4*w - 195 = -5*v. Which is smaller: 61 or v?
v
Let u be 4/(-2) + 13 - -1. Let p(y) = 3*y**2 + 3*y - 26. Suppose -17*f = -19*f + 6. Let i be p(f). Which is smaller: u or i?
i
Let y be (-4)/(-22) - (-20136)/88. Suppose -3*m = -2*j + y, m - 13*j = -16*j - 80. Is m >= -76?
False
Suppose 3*j + 1056 = 2*i, -5*j + 20*i - 1762 = 16*i. Which is bigger: j or -353?
j
Let h = -391 - -3062. Which is smaller: h or -1?
-1
Let t = -6.731 - -6.733. Is t greater than or equal to 17?
False
Let k = -172 - -174. Suppose -378 = k*q + 8. Which is smaller: q or -2?
q
Let r be ((-4)/14)/((-14)/(-12)). Let f = 16397 - 16396. Is r >= f?
False
Let b be 0*(-1)/(-1*1). Let s = 5125728/53 + -96712. Which is smaller: s or b?
s
Let x be -14 - (-12747)/915 - (2 + (-2 - 0)). Are x and -1 non-equal?
True
Suppose 0 = -0*n + n - 2. Suppose -2*s - n*s - 4 = 0. Let r be ((203/21)/(-29))/(3/(-45)) + -10. Is s != r?
True
Let w(a) = 70*a - 7 + 83*a + 1 + 67*a - 225*a. Let g be (-1 + -2)/(2 - 1). Let n be w(g). Which is bigger: n or 70/9?
n
Let x be 24/(-18)*(-738)/4. Suppose -3*n - n = 4*u + 252, x = -4*u - n. Which is greater: u or -59?
-59
Let r be (23 - 21)/((-6)/(-70)*(-4)/6). Let h(b) = -146*b - 2. Let u be h(-1). Suppose 5*t + u = t. Which is greater: t or r?
r
Let q(d) = -9*d**2 - 11*d + 11. Let s be q(-4). Is s equal to -84?
False
Let f(j) = j - 2. Let c be f(5). Suppose 6*k - 3*k = -5*s - 2, 2*k = s + c. Suppose -39 - 10 = -49*v. Is v <= k?
True
Let t(w) = -9*w**2 + 4*w - 7. Let i be t(-4). Let v = i + 76. Let k = -107 - v. Which is bigger: -1/4 or k?
-1/4
Suppose 0 = 5*a - 48*k + 45*k - 693, -3*a - k + 399 = 0. Which is bigger: 153 or a?
153
Let d be (-9)/(-36) - (-44817)/28. Let p = 1604 - d. Do p and 2 have the same value?
False
Let v = -77 + 64. Let y be (-1)/(-2)*(-24)/(1 + -4). Suppose 2 - 62 = y*l. Are v and l equal?
False
Suppose -64*n + 16*n = 433152. Which is greater: n or -9023?
-9023
Suppose 0 = -2*i - 16*i + 234. Let n(f) = 14*f - 167. Let q be n(i). Is 13 < q?
True
Let g = -29448 + 618620/21. Is g at least as big as 2?
True
Suppose 2*r + 30 = 10. Let l = -8 - r. Let h = 13081/5355 - -1/595. Which is smaller: l or h?
l
Let c(z) = 35*z**2 + 13*z - 13. Let h be c(1). Suppose -43 = -8*n - h. Is n less than -7?
False
Suppose 146 = 3*d + m + 44, 2*m = 2*d - 76. Let n = -705 - -10. Let g = n - -694. Which is bigger: g or d?
d
Let o = -1351/2049 + -5/683. Is o at most as big as -1/82?
True
Let b(g) = -g**3 + 10*g**2 - 9*g + 4. Let r be b(9). Suppose 2*o = r*o. Is o >= 4/13?
False
Let g(p) = 3*p + 37. Suppose 8 = 4*z, 1 = -3*d - 3*z - 29. Let x be g(d). Is -2/47 equal to x?
False
Let w(x) = -2*x - 35. Let b be w(-20). Suppose -b*a + 26 = -4*f, -3*f + 15 = a + a. Let l = -12 + 14. Which is smaller: l or a?
l
Let a be 35/7*((-908)/(-456) - 2). Let c = a - -51/874. Are 0 and c unequal?
True
Let t = 11 - 9. Suppose -t*a = -5*a + 90. Suppose -2552 = -87*k + 145. Is k greater than or equal to a?
True
Let v = -987247/42 - -69905/3. Which is bigger: -204 or v?
-204
Suppose -45*y - 149 + 724 = -55. Which is smaller: -187 or y?
-187
Let r = 22736.3 + -22736. Is r <= 3280?
True
Suppose 3*s - 2*i + 22 = -11, 4*s = -4*i + 56. Let w(u) = 14*u**2 + 3*u - 1. Let v be w(2). Is s < v?
True
Suppose -7*w = 5*w + 1008. Let y be 6996/w + 4/14. Is y > -82?
False
Suppose 2*m = 3*u + 4248, -328*m + 325*m + 7079 = -5*u. Which is greater: -1413 or u?
-1413
Suppose -3*v - 2*j = 39296, -17*j = -4*v - 14*j - 52440. Which is smaller: v or -13105?
-13105
Suppose -4*n - 35 = 13. Let u be (n/(-90))/((-8)/10). Which is greater: u or 1?
1
Let y = 429889727/57 + -7541583. Let z = 342 - y. Suppose 8 = -5*s - 3*s. Which is smaller: z or s?
s
Let d = 2 - 1. Let a be (24/330)/(-4)*(-1)/5*(-580)/(-1972). Which is smaller: a or d?
a
Let s be 250*(-12 - (-190)/19). Which is smaller: -494 or s?
s
Suppose -1 = 6*b - 1783 - 6360. Is 1356 bigger than b?
False
Suppose 2*r - 7398 = -2*k + 9014, -5*k = 5. Is r bigger than 8207?
False
Let k = -22 + 4. Let y = -16 - k. Let v be 3 - (3/y - -1). Is -24 not equal to v?
True
Suppose 247*p = 222*p + 19625. Is p > 785?
False
Suppose 2756 = -2*g - 4*m, -2846 - 1282 = 3*g + 3*m. Does -1371 = g?
False
Let t be 3 - 1 - (-5)/(5/384). Let k = 396 - t. Let f = -2209/20 - -477/4. Are f and k non-equal?
True
Suppose -26 + 6 = -4*d. Let l be d + 1870/14 - (-12)/(-21). Which is bigger: 137 or l?
l
Let b = -3212 - -3252. Is b bigger than 79/2?
True
Let w = 0.2 - 0.3. Let d = 0.9 - w. Suppose 473*l = 173*l - 203*l + 10060. Is l smaller than d?
False
Suppose -n = -5*j + 2138, -j - 4*j + 2*n + 2136 = 0. Suppose 5*h + 3 = j. Let b = h - 59. Is b bigger than 26?
False
Let c = -6 + 9.5. Let l = 3.48 - c. Let k = l - 30.98. Is 2 greater than k?
True
Suppose 169 = -4*w - 39. Let j be (2/24)/(91/w). Let h(d) = d**2 - 6*d + 6. Let q be h(5). Which is smaller: j or q?
j
Let q be (1 + 0)/((-1)/2). Let r = -30.1 - -33.7. Let h = -0.8 + r. Which is smaller: q or h?
q
Let o = 110 - 106. Suppose -3*f - 9 = -0*y - o*y, 2*f = -5*y - 6. Let d be (2 + 2 + 1)/(-1). Is d bigger than f?
False
Let g = 5875 - 10034. Is g <= -4159?
True
Let n be (1/4)/(2/(-2)). Suppose 3*m + 2*p + 7 = 0, 4*m - 2*p - 9 = 5*m. Let q be (300/(-175) + (m - -1))*1. Which is smaller: n or q?
n
Let u be (-2)/4 + (-74)/4. Let n(j) = j**2 + 3603716 + 12*j - 3603698 + 8*j. Let g be n(u). Is g >= 2/39?
False
Suppose -4*x - 8*s = -6*s + 32, 0 = -5*x - s - 37. Let r be (x - (5 - 25))*1. Is 4 greater than r?
False
Let o = 28.4 + -28.5. Let l = -7 - -59. Let p = -26 + l. Which is smaller: p or o?
o
Suppose -p = -2*p + 106. Let u = -17436 + 17542. Is u != p?
False
Suppose -2628 = 14*y - 19*y - 4*z, 1590 = 3*y - 2*z. Which is greater: 520 or y?
y
Let h = 21.34 - -0.66. Let d = h - 22.1. Which is smaller: 0.6 or d?
d
Let l(p) = -2*p**3 + 19*p**2 - 6*p - 22. Let c be l(9). Let y(k) = 2*k - 12. Let g be y(c). Let j be 3/g*52/(-169). Is j smaller than 1?
True
Suppose 199*s - 252985 + 242755 + 707327 = 0. Is s at most -3503?
True
Let g be (0/3 - 