s smaller: q or i?
q
Let p(t) = -t**3 - 85*t**2 + 150*t - 468. Let s be p(-87). Do 1609 and s have different values?
True
Let q be (18/24)/(3/(-2))*2. Let y be -2 - (364/12 - -2 - q). Let o = -35 - y. Which is smaller: o or -0.6?
-0.6
Let q = -0.3553 - -56.3553. Which is bigger: 0.23 or q?
q
Suppose 29*z - 30*z + 595 = -2*i, 0 = 5*z + 5*i - 2900. Is 586 at most z?
False
Let c = -1535.1 - -1411. Let f = c - -124. Which is bigger: f or 3?
3
Let c be (1/2)/(9/(-36)*1). Let t be (23/299)/(c/4). Which is greater: t or -1/2?
t
Let q = 40286 + -40300. Let a(g) = g - 4. Let y be a(-5). Which is bigger: y or q?
y
Let x(o) = o**2 - 8*o - 13. Let u be x(9). Let c be (-18)/u + 1*(-1)/2. Let y be (-2)/195*(-5 - (2 - c)). Which is bigger: y or 1?
1
Let k be (-13)/13 - (-3 - 1). Suppose x - 77 = -3*q, -5*x - k*q = -0*q - 385. Suppose -5*d + d = -5*h + x, -5*h - 5*d = -95. Which is greater: h or 15?
h
Let a be (-53694)/(-133285) + 66/(-15) + 4. Is 1 at most as big as a?
False
Let w be ((-176)/19536)/(10/21). Which is smaller: w or -1?
-1
Let t = -112 + 112.148. Let w = 213 - 214. Which is greater: w or t?
t
Let s = 15020 + -15020. Which is smaller: -16/1493 or s?
-16/1493
Let n be ((-33)/(-22))/((-6)/8). Let s be n + -6*(-3)/(-2). Let a = -1173/2 + 587. Is a <= s?
False
Let z = -0.137 - -0.085. Let h = z - -36.052. Which is smaller: h or 1?
1
Let u = 8.5 + -5.5. Suppose -2*z = v - 32, 3*v - 5*z - 136 = -z. Which is smaller: v or u?
u
Let v(i) = 2*i**2 + 5*i - 3. Let q be v(-3). Suppose s - 33 - 5 = q. Let w be 34/s + (-20)/(-190). Which is smaller: 9/13 or w?
9/13
Let p = -470 + 472. Suppose 3*a = p*n + 4 + 26, 0 = -3*n + 4*a - 45. Suppose m + 14 = -0*m. Are m and n equal?
False
Suppose 2*s + 2*y + 76 = 0, y = 2*y. Let h be (s/3)/(4/(-6)). Let j = -144 + 162. Which is bigger: h or j?
h
Let g be -28 + 21 + (21*39)/3. Is 802/3 < g?
False
Let d = -1207/8 + 2029007/13448. Is d < -1?
False
Let n = -5317 + 755. Is -4563 smaller than n?
True
Let d = -4618 + 4576. Are -59 and d equal?
False
Let x(a) = -a**2 - a. Let u be x(0). Let q be 8/(-16) + 19/2. Suppose u = q*l + 762 + 129. Is l < -99?
False
Let d(o) = -o**2 + 3*o + 13. Let v be d(-4). Let h be (-1)/3*v*1. Let z(i) = i**2 + 13*i - 6. Let y be z(h). Is y at most 84?
True
Let r be (-1)/(((-13)/(-514))/(-13)). Let k = r + -550. Let x be 1/(-2 - (-207)/105). Is k bigger than x?
False
Let z = 520 + -842. Which is bigger: -2/5 or z?
-2/5
Let x = -0.6057 - 1923.3943. Which is greater: x or -0.1?
-0.1
Suppose -2*j - 2*s - 18 = j, -5*s = 0. Let p be (2/j)/(19/(-361)). Is p equal to 7?
False
Let k = -0.25948 + -317.74052. Which is smaller: 15/2 or k?
k
Let q = 784794/2894363 + 2/49057. Which is smaller: -3 or q?
-3
Let c = 217.11 + -218. Let j = c - -0.79. Which is smaller: -7.1 or j?
-7.1
Suppose 714*g - 167 = 547*g. Which is smaller: g or 8/1363?
8/1363
Let l = 12789 - 89521/7. Is -606 at least l?
False
Let k(t) = -t**2 - 41*t + 429. Let m be k(20). Is m at most as big as -790?
True
Let p = 0.5509 + -0.4509. Which is bigger: -0.1442 or p?
p
Let m = 2033/4 - 509. Let j be (-15)/20 - 2/(-3). Let p = j - m. Which is smaller: -13 or p?
-13
Let u = -5410 + 140663/26. Let f be ((-27)/(-6))/(3/(-4)). Let d be (4/f)/(6/9). Is d >= u?
False
Let x(y) = 11*y + 374. Let j be x(-34). Which is smaller: j or -5/296?
-5/296
Let r be (-1821)/(-5040) - (-1)/(-3). Let w be 1/4*((-4)/6)/((-350)/(-15)). Let b = r + w. Is 0.1 less than b?
False
Let r = 21110 + -21267. Is r at least as big as -26?
False
Let s(c) = 9*c + 185. Let h be s(-19). Let t(w) = -11*w + 60. Let u be t(5). Which is smaller: u or h?
u
Suppose -5*c - 269 = -l, -113*c + 115*c - 490 = -2*l. Is l less than or equal to 243?
False
Let a be -136 + -1286 - (4/(-10))/((-2)/30). Which is greater: -0.1 or a?
-0.1
Let r = -3.78 + 3.6. Let q = 27.18 + r. Which is greater: q or 2/7?
q
Let l = -200702/138317613 - -28/16563. Which is smaller: 0 or l?
0
Let p be 1 - (-27)/(2079/3740). Which is smaller: p or 51?
p
Let a = -0.432 + 0.43. Let u = a - 0.048. Let i = 0.13 - u. Which is smaller: i or 0.4?
i
Let z(w) = 8*w - 57. Suppose 59 = a + 51. Let p be z(a). Let m = -31 + 42. Does m = p?
False
Suppose 899 = 4*y + 5*l, -3*y + 47*l = 50*l - 678. Are y and 231 nonequal?
False
Let y = 4403 + -4099. Which is smaller: 0.3 or y?
0.3
Let d(k) = 4*k + 35. Let y be d(-10). Let j(l) = 6*l - 76. Let t be j(y). Are t and -103 unequal?
True
Suppose 4*d - 42240 = 610*u - 615*u, 0 = 3*u - 2*d - 25366. Is 8452 smaller than u?
False
Let x(d) = d**2 + 3*d - 1. Let j be x(-5). Let p = -27 + 34. Let t be (1/p - 1)/(80/(-280)). Is t > j?
False
Let r be ((-6)/(-12) - -2)*(-16)/(-10). Suppose -3*n - n = -3*i - 263, -r*i = -5*n + 352. Which is smaller: -94 or i?
-94
Let h(p) = p**3 - 7*p**2 + 4*p - 9. Let a(t) = -t + 1. Let y(f) = -5*a(f) + h(f). Let i be y(6). Suppose -3*c - s - i = -30, c - 4 = -5*s. Is c not equal to 9?
False
Let h be 13/(-8) - (-2)/4. Let i be (13 + -29)/32*0. Is h <= i?
True
Suppose -3*m = 4*l - 20, 26 = 3*l - m - 2. Let f(p) = p**2 - 6*p - 16. Let q be f(l). Suppose q = -5*d + 5*c, 0*d = -4*d - 2*c. Which is smaller: 2/107 or d?
d
Let u = 19794 + -23238157/1174. Which is smaller: -1 or u?
-1
Suppose 11*x - 16037 = -45011. Let z be ((-4)/x)/(44 - 45). Is z less than 1?
True
Let p(u) = u**2 + 54*u - 1875. Let t be p(22). Does -212 = t?
False
Suppose -o + 31 = -2*d + 16, 0 = -4*d - 4*o - 60. Is d >= 19?
False
Let z be -323*(34/289 - 30/(-34)). Which is greater: z or -318?
-318
Suppose 590*n - 514 - 189 + 113 = 0. Let c = -108 + 11879/110. Which is bigger: n or c?
n
Let v(d) = 9*d - 25. Let r be v(3). Let c be 0/r + ((-1227835)/107)/5. Let p = c - -2295. Which is smaller: 1 or p?
p
Suppose -12*u + 11*u - 582 = 0. Let z be u/315 + (78/21 - 4). Which is smaller: -2 or z?
z
Let j = -391 + 454. Let p be 6/21 - (-5 + 381/j). Is p equal to -1?
False
Let r be 18/2 + (-77)/11. Let x be r + (-3)/6 + (-3)/(-6). Let p(f) = -f - 2. Let h be p(-5). Which is greater: x or h?
h
Let g(x) = 67*x - 889. Let t be g(17). Are t and 272 nonequal?
True
Let s = 3091 - 3089. Let v = 4 - 7. Let b be 12 + -10 + (v + s - 2). Which is smaller: b or -15?
-15
Suppose 3*d + 13 = c, 5*d + c + 45 = -2*c. Let b be (9/d)/((-12)/16). Suppose 5*u - 48 = 5*h - h, 4*h + b*u = -20. Is h < -9?
False
Let u be 708/24 + 33/(-6). Which is greater: 48 or u?
48
Let b = -2218674 + 7354903808/3315. Let z = -2/5171 + 21126/1142791. Let j = b + z. Is j > 2?
False
Let d = -2.74 - -3.74. Is -1051 smaller than d?
True
Let w(l) = 5*l + 22. Let h be w(-3). Let q be (18/57 + 0)/(h + -12). Is q > 0?
False
Let n = 81 + -63. Let l = n - 123/7. Is l <= -3/4?
False
Let k = 47 + -82. Let x(l) = 2*l**3 - 47*l**2 + 67*l - 53. Let s be x(22). Which is smaller: s or k?
k
Let w be (64 + -2)/(((-9)/(-3))/6). Let b be (-3)/(((-8)/40)/(w/(-15))). Which is smaller: b or 0?
b
Let l = 10084.13 - 10145. Let s = l - -61. Is s smaller than 6?
True
Suppose 2*m - 12 + 0 = 0, m + 1752 = -2*n. Is -3517/4 <= n?
True
Let t be 7/(56/(-120)) + 14. Which is bigger: 366 or t?
366
Let p = 348573 - 1394289/4. Let q be 0/(-2*1/2). Which is smaller: q or p?
q
Let x(j) = j**2 + 35*j + 33. Let t be x(-45). Let b = -474 + t. Which is smaller: b or -1/4?
-1/4
Let s = -6900 + 6899. Which is greater: s or -114/163?
-114/163
Let w(f) = -f**3 - 6*f**2 - 8*f - 4. Let p be w(-5). Let a(g) = 0*g**2 - 9*g + g**2 + 1 - p. Let c be a(10). Which is bigger: -2 or c?
c
Suppose 2*v = 5*k + 160, 0*v - 144 = -2*v - 3*k. Let x = -323 + 396. Let f = x - v. Are f and -9 unequal?
True
Let x = 131 + -128. Let v be (-1558)/123 + (-1*1)/x. Is v less than or equal to -0.1?
True
Let f = -22 + 27. Suppose 5*d + 2*a = 77, -4*a + 0*a + 79 = f*d. Let z = -698 + 701. Which is smaller: d or z?
z
Let v = -15 + 26. Let c = 104034 + -832179/8. Is v <= c?
True
Let g(a) = 22*a**2 - 178*a + 16. Let c be g(8). Is c bigger than 2/339?
False
Suppose -44*j + 5*j + 2028 = 0. Suppose 3*d - 15 = 8*d, 2*y - 91 = -5*d. Which is smaller: y or j?
j
Let z be 3/((-876)/(-2))*(-732746)/(-63). Let i = 2/657 + z. Which is bigger: 79 or i?
i
Suppose 3*g + 24 = -3*s, -11*s = -10*s + 3*g + 4. Let z be (-120)/(-225)*s/(-8). Let l = 1.1 + -0.1. Is z bigger than l?
False
Let c = -0.0014 + 0.059. Let q = -62.9424 - c. Which is greater: q or 