 is greater: 0.25 or y?
0.25
Suppose -164 = -3*t - 772 - 94. Which is bigger: -698/3 or t?
-698/3
Let w(f) = -26*f + 3. Let x be w(2). Let g = 439/9 + x. Let n be (25 - 28)/((-2)/((-12)/45)). Is n smaller than g?
True
Let s be ((-2695)/(-175) + -16)/(6/50). Which is smaller: s or 2.066?
s
Suppose -5849 - 263 = 4*j. Let i = -111542/73 - j. Is i < -1?
False
Let n be (6 + -1)*-9*44/(-495). Let t be n/3*585/1860. Which is bigger: -1 or t?
t
Suppose 30*h + 114*h + 206656 = -447248. Which is smaller: -4543 or h?
-4543
Suppose 0 = -s - 5*k + 18, -3*k - 84 = -2*s - k. Suppose -3*h + 115 = 3*t - 2*t, 80 = 2*h + 4*t. Let n = h - s. Which is smaller: 2/21 or n?
n
Let f(u) = u**3 - 9*u**2 - 8*u + 9. Let r be f(10). Let n = r + -51. Let p(t) = -4*t**3 + 5*t - 1. Let a be p(2). Is n bigger than a?
True
Suppose -5*d - 20*w + 8810 = -16*w, -4*d - 4*w = -7052. Which is greater: 1759 or d?
1759
Let q = -424/4995 - -2/185. Let l(g) = g**2 + 12*g. Suppose 2*w = 10*w + 96. Let n be l(w). Is n equal to q?
False
Let r(x) = 50*x + 87. Let c be r(-1). Which is smaller: c or 30?
30
Let w(u) = -6*u**3 + 5*u**2 + 8*u + 2. Let q be w(-1). Suppose 2650 = -q*z - 5*c, 429 = -z + 2*c - 92. Is z less than or equal to -526?
True
Suppose -3*l + 929 = -3*v + 7*v, -v + 256 = -4*l. Suppose 0 = 3*n - 2*q + v, 0 = -8*q + 4*q - 8. Is n > -78?
False
Let v = -79/86 + 18/43. Let r = -286 + 139. Is v at most r?
False
Let x = 1.26 + -0.74. Let y = 0.63 - x. Let o = -0.137 + 0.037. Is o greater than y?
False
Let v = -1/1575 - -451/1575. Which is smaller: v or 12.5?
v
Let m be (-42)/(-7) - (-13)/(-2) - (-2)/(-4). Is m > -1/1278?
False
Let c be (-4)/(-20) + 0 + (-4)/(-5). Suppose 0*s - 7 = -a - 2*s, -2*a - 21 = -3*s. Let d be a/9 - 41/(-105). Which is bigger: c or d?
c
Let n be -16 + (0 - 8 - -16). Let i be (n + (6 - -1))*-1. Which is greater: -8/141 or i?
i
Let q = -355 + 355. Let m = -2394/5 - -30092/65. Let x = 16 + m. Is q at least x?
False
Suppose -w + 16 = 3*y, w - 3*y + 11 = -3. Let x be (-11)/(-24) - ((-13)/(-26))/1. Is x less than w?
True
Let z be 1*2/1 + -42. Let r = -787 + 813. Let u = z + r. Which is smaller: -15 or u?
-15
Let p = -114 - -119. Suppose -p*x + 423 + 222 = 0. Which is smaller: 130 or x?
x
Let i = 3.073 - 3.073. Does i = 18/23?
False
Suppose -184654 = 102*q + 140726. Which is greater: -3191 or q?
q
Let a = 2 + 1. Let p = -3.2 + a. Let f be 0 + 1*-1 - 1 - (-533 + 547). Which is smaller: f or p?
f
Let c(q) = 4*q**2 + 22*q - 26. Let i be c(1). Suppose -2*k - 404 = -7*k + 4*o, -k - 3*o + 96 = 0. Let z be ((-16)/k)/((-1)/(-3)). Is i > z?
True
Let w = 7113 + -7105. Is w > 47/6?
True
Let m be 2516/(-18) - (-8)/(-36). Let s be (-16)/(-2) + (9 - -2). Let z be (-3 - s/(-7)) + (-103)/m. Is z greater than or equal to 0?
True
Let f = 1687 - 1284. Are -2 and f equal?
False
Let f(j) = j - 3. Let s be f(4). Let m be 8/((-64)/(-68)) - s/2. Is m at least as big as 34/5?
True
Suppose -4063 - 1201 = -7*p. Suppose -275 = -13*z + p. Which is smaller: z or 78?
78
Let p = 3197/7 - 456. Let k(w) = w**2 + 2*w + 2. Let b be 7 + -6 + 3*-1. Let v be k(b). Is v < p?
False
Suppose -15 + 34 = -19*i. Let k be ((-44)/(-8) - 5)*(-2)/i. Which is bigger: -1/16 or k?
k
Let n = 54/25 + -802/325. Let v = 425 + -415. Let x be -1 - -5 - (-7 + v). Which is smaller: x or n?
n
Let b = -5929 - -1024. Let c be -2*(2 + 8/((-384)/b)). Let d = 208 + c. Which is bigger: d or 1?
1
Let o(g) = 4*g**2 + 14*g - 5902. Let w be o(-75). Is w at most as big as 15547?
False
Let s be 2/4*(-131999)/63. Let x = s + 1048. Which is smaller: x or 0?
0
Let a(m) = -m**3 - 44*m**2 - 85*m - 23. Let p be a(-42). Let j be ((-11)/2)/((-2)/4). Let i(n) = n + 7. Let y be i(j). Which is smaller: p or y?
y
Let b = 452.23 + -451. Let o = 1.41 - b. Which is smaller: -0.1 or o?
-0.1
Suppose -263*i - 67*i - 836 - 154 = 0. Which is greater: -499 or i?
i
Suppose 5*z - 115 = -120. Let r be (2 - (6 + -59)) + 2 + z. Suppose -3*j - 3*o - 40 = r, -4*o = -4*j - 96. Does j = -27?
False
Let n be (7 + ((-258453)/130 - (-2)/(-5)))/6. Which is smaller: n or -329?
n
Let i = 1054 + -1055.057. Let l = 0.007 + i. Let x = l - 0.95. Which is smaller: -5 or x?
-5
Let b(n) = n**3 + 7*n**2 - 9*n - 8. Let s be b(-8). Let y = -3 + -7. Let f = s - y. Do 10 and f have the same value?
True
Suppose 0 = 7*t - 3*t - 8. Suppose t*a - 5*l = -0*l + 23, -2*a + 3*l + 17 = 0. Suppose a*g + i + 8 = 6*g, 3*g - 17 = 4*i. Is g less than or equal to 6?
True
Let s(n) = -2*n - 1. Let b be s(-1). Let w = -105.7 + -1.3. Let p = w - -83. Is p at least b?
False
Let z be (-9 + 2 + 4)/(6/(-136)). Let o = -50 - -117. Which is greater: z or o?
z
Let m = -25412 + 27140. Is m smaller than 0?
False
Let z(g) = -185*g**3 - 7*g + 2 + 184*g**3 - 6*g**2 + 0*g**2. Let q be z(-4). Which is smaller: -10/7 or q?
q
Let f be (4 + -4)*(1 + -2). Suppose -5*l - x = -3*x - 20, x = -4*l + 3. Suppose f = -m - m + 3*j - 63, -l*m = 5*j + 39. Does m = -28?
False
Let r be 4/(-1) - (-1340)/168 - 4. Let f(b) = -b**3 - 13*b**2 + 3. Let t be f(-13). Suppose y = -t*y. Which is smaller: r or y?
r
Let b be ((-374)/(-88))/((-21)/(-12)). Let c(u) = u**2 - 10*u + 1. Let z be c(10). Which is smaller: b or z?
z
Let i be (-66)/(-14) - (13 - 1023/77). Suppose w = 2*q - 389, i*q - 4 = 16. Is -380 less than or equal to w?
False
Let x(o) = o**3 - 60*o**2 - 938*o - 613. Let b be x(73). Let t(q) = 22*q**2 - 2*q - 1. Let p be t(3). Which is bigger: b or p?
p
Let d = -104.9 + 105. Let h(n) = 3*n + 7. Let g be h(3). Let a be 84/g*(2 - (-7)/(-3)). Which is greater: d or a?
d
Suppose 121*g - 19972 - 5801 = 0. Which is greater: 214 or g?
214
Let d = 920 + -172959/188. Suppose 0*k = 2*k - 3*f - 5, 2*k + 2*f = 0. Are d and k nonequal?
True
Suppose 0 = -26*y + 6*y - 660. Let k = -124 - -89. Let d = y - k. Which is greater: 3/5 or d?
d
Let i = 30406 + -29897. Is i at most as big as 509?
True
Suppose a = 4*l - 33, 3*a - 77 + 32 = -4*l. Is l smaller than -158?
False
Let n = -355763/12820 - -2/3205. Suppose 37 = -4*s + 4*h - 59, 2*s - 3*h = -44. Which is smaller: n or s?
s
Let h be (50/(-20))/((-2)/4). Let p be 2*1/h + 408/(-570). Is p at least 1?
False
Let y = -154/225 - -6/25. Let w = 2/9 - y. Let d be ((-2)/5)/(2*((-1179)/90 - -13)). Which is smaller: w or d?
w
Let x(p) be the first derivative of 2*p**3/3 - 69*p**2/2 + 35*p + 140. Let k be x(34). Which is smaller: 10/37 or k?
10/37
Let n(q) = -6*q**2 + 38*q + 7. Let d(u) = 8*u**2 - 37*u - 5. Let a(k) = -2*d(k) - 3*n(k). Let y be a(12). Is -203 equal to y?
True
Let a = 8793 + -8817.9. Is -31 <= a?
True
Let h(o) = 3*o**3 + 6*o**2 - 9*o + 1. Let p be h(-3). Let a be p/(-4) - 75/1140. Is 1 greater than a?
True
Let h = 30652/3 - 10217. Is h not equal to -3.11?
True
Let r = 24 - 11. Suppose 0 = -5*h + t + 193, -2*t - 37 = -3*h + 76. Let s = h - 427/11. Do r and s have different values?
True
Let b(m) = -m - 8. Let l be b(-6). Let z = 78 + -82. Let v be z/11*(329/28 + -10). Is l equal to v?
False
Let a = 271.9608 + 0.0392. Let r = a + -274. Is -1.24 greater than or equal to r?
True
Let z = -162358144/3997 + 40620. Is 1 greater than or equal to z?
True
Suppose 0 = -0*j + 2*j + 324. Let k be 35792/(-240) - 13 - (-10)/75. Is j at most as big as k?
True
Let v(t) = -2*t**2 + 2*t + 7. Let n be v(-6). Let h be (-21)/(-9) + 9850/(-120). Let f = n - h. Are f and 4 unequal?
True
Let t be 2/(-1) + (249956/31248 - 6). Which is bigger: t or 1?
1
Let w be (66 - 4)*1/(-9). Let k = -3506 - -3499. Does w = k?
False
Suppose 3*g - 100 = 41. Let i be (32192/(-48))/(3 + 7/(-3)). Let p = i + 1051. Is p at least g?
False
Let a be ((-45689)/(-1435))/(6/5). Let u = 4/123 - a. Suppose -3*i - 9 = 0, 4*i - 49 = -3*w - 142. Does w = u?
False
Let p be ((-44)/(-33))/(1/(-3)). Let g be (-4 - 115/(-30))*p. Which is smaller: -41 or g?
-41
Let y(h) = -h**2 + 2*h + 3. Let o be y(3). Let t = 3/8581 - -34087/677899. Is t <= o?
False
Let h = -19676 - -19471. Is -4 at least as big as h?
True
Suppose 559*x + 1969 = 5*p + 555*x, -1586 = -4*p + 5*x. Is -10 greater than p?
False
Let g be (-10)/(-688)*(-33)/(-55). Let z = g - -587/1720. Are -1 and z unequal?
True
Suppose 2*c - 87*q + 91*q = 926, 0 = 5*c + 4*q - 2285. Which is greater: c or 425?
c
Suppose -24*c - 202 = 710. Let z = -18.83 + 17.6. Let t = -0.23 - z. Which is greater: c or t?
t
Let z