et v be ((-10)/(-65))/(-1) + 5906/2392. Which is greater: v or 2?
v
Suppose 4*d - 2*w = -56552, 29*d = 24*d - 2*w - 70681. Which is smaller: d or -14138?
-14138
Let i be (1 + 2)/(((-117)/(-36))/13). Which is bigger: 336/25 or i?
336/25
Let s = 9927 + -9928. Suppose -2*h + d = -0*h - 57, -2*d = -2*h + 54. Let q be ((-2)/(-12))/((-3)/h). Which is smaller: q or s?
q
Let s = 15 + -14. Let r(w) = w**3 - w**2 - 2*w + 2. Let u be r(s). Which is smaller: u or 2/71?
u
Let x be 5*2 - (14018316/(-400524) - -45). Is -1 <= x?
True
Let z be (-8 - 136/(-16))*(-4951 + -3). Do -2478 and z have different values?
True
Let k = -68 - -254. Suppose 3*w - k + 552 = 0. Let s = w - -121. Which is bigger: s or 2/5?
2/5
Let a be 8/(-238)*(-49)/(-42). Suppose -5*d = -0*d + 175. Let n = d + 34. Is a less than or equal to n?
False
Let b = 27 + 6. Let y be -1 + (-299)/(-9) - (103675/585 + -177). Which is smaller: b or y?
y
Let k be (19 - -6)/5 + -13. Let j be 1/(-2) - 12/k. Let s = -7421/8 - -929. Is j smaller than s?
True
Suppose -5*p + 2*q + 222 = -257, 4*q = -4*p + 372. Suppose -5*f + 122 = 2*c, c - 5*f = p - 19. Which is bigger: c or 1/5?
c
Let g(x) = 2*x**2 - 199*x + 944. Let c be g(5). Is c at most as big as -3/6326?
True
Let m(q) = q**2 - 12*q - 6. Let l be m(12). Let z be l/(-7308)*202 - (-2)/(-14). Is z greater than 1?
False
Let q(i) = i**2 + 14*i + 23. Let d be q(-12). Let u(n) = n**3 + 9*n**2 - 6*n - 8. Let j be u(-7). Let r be (-49)/j - 2/(-8). Which is greater: d or r?
r
Let u = 2 + 23. Let s be u + 1 + -1 + -2. Suppose 56*f = -368 + 1544. Is f greater than or equal to s?
False
Let k = 0.23 + 167.77. Let l = k - 296. Which is bigger: l or -2?
-2
Suppose s = 2*s + 1. Let u be (6/44)/((-7)/3414). Let z = u - -456/7. Is z greater than or equal to s?
False
Let z = -0.042015 - 38.878985. Let q = z + -0.079. Let g = 37 + q. Which is greater: g or 10?
10
Suppose -2*g + 66 = 2*x, 0*x = 2*x + 6. Let v = g - 24. Let a be (-3)/8*v/81. Which is smaller: -2/7 or a?
-2/7
Let f = 4755 + 12808. Do f and 17563 have the same value?
True
Let a be 1*(-3)/(-4) - (-3676)/(-16). Let r = 385 + a. Suppose 2*f - r = 3*g, 31 = 2*g + 3*f + 122. Which is greater: g or -51?
g
Suppose -19*f - 5749 - 27 = 0. Let w be 1/(-3) - (-2751)/(-9). Which is smaller: w or f?
w
Let b(t) = 6*t**3 - 29*t**2 + 16*t + 2. Let m(o) = 11*o**3 - 59*o**2 + 32*o + 4. Let f(q) = -7*b(q) + 4*m(q). Let a be f(16). Which is greater: 6/5 or a?
a
Let u(t) = -t**3 - 9*t**2 + 22*t + 3. Suppose -3*c - 45 = 3*q + c, 2*q - c = -19. Let m be u(q). Let j = 111 + -215/2. Which is greater: j or m?
j
Let m = -43 + 84. Let y = -32 + m. Let z(q) = -2*q + 18. Let b be z(y). Are 2 and b unequal?
True
Let m be 3 - 61/21 - (-14104)/(-357). Let i = -2398/85 - m. Which is bigger: 12 or i?
12
Let n(l) = l**2 - 62*l + 587. Let y be n(17). Suppose 0*p - 3*p = 525. Which is bigger: p or y?
p
Suppose -11994 = -2*y + 2*z, 5*y - 12*z - 30012 = -16*z. Is 6001 >= y?
True
Let q(w) = 2*w**2 + 9*w - 223. Let m(i) = i**2 + 5*i - 111. Let f(x) = -7*m(x) + 4*q(x). Let g be f(11). Which is smaller: 21 or g?
g
Let o = -17951/600 + 269/150. Suppose 3*i + 9 + 75 = 0. Which is bigger: i or o?
i
Suppose -2*u = -s - 69, 0 = -3*s + 9*u - 13*u - 167. Is -61 greater than or equal to s?
True
Let n(g) = 669*g - 194. Let w be n(8). Is w > 5157?
True
Let l = 2424 - 2428. Which is smaller: -23 or l?
-23
Let i be (5*2/(-12))/((-1)/6). Suppose -2*w - 18 = -2*x - 4, 0 = -5*x - i*w - 15. Which is bigger: x or 83?
83
Let m = -58.6 - -51. Let p = m + 7.57. Let n = 29/39 - 1/13. Which is smaller: p or n?
p
Suppose 4*n + v + 74 = 0, 3*n + 0*v + 2*v + 58 = 0. Suppose 79 = 5*j - 26. Suppose -5*s + 2*t = 93, -4*s - 4*t - 73 = -j. Which is smaller: s or n?
n
Let w be (-1)/(-6) - 48/288. Let s = 7/271 - 2969/10027. Do w and s have the same value?
False
Let u = -12661 - -7343. Which is greater: u or -5319?
u
Let d(s) = 2*s + 81. Let b be d(-27). Let o = 5 + 0. Suppose -4*m - 42 = -2*a, -o*m = -m - 8. Which is greater: a or b?
b
Let r = -0.348 + -45.052. Let o = -0.23 + -44.77. Let g = o - r. Which is smaller: 4 or g?
g
Let b = 318 + -223. Let f = b - 95.26. Which is bigger: -0.3 or f?
f
Let j = -4249 + 4248. Let a be ((-2)/3)/((-2468)/6). Which is smaller: a or j?
j
Let p(l) = 563*l**3 + l**2 - l. Let b be p(1). Suppose 0 = -54*s - 23*s + 43351. Is s <= b?
True
Let l = 609 - 900. Let y = 202 + l. Let g = 68 + y. Which is bigger: g or -2/11?
-2/11
Let t = 128 - 146. Let p be 17/(-7) - (t + 14). Which is bigger: p or 1?
p
Let x = -295 - -446. Let o = x - 217. Which is greater: o or 0.2?
0.2
Let m = -26519 + 26796. Is 207 greater than or equal to m?
False
Let g be (513 - 517)*6822/8. Which is bigger: g or -3414?
g
Suppose 3*c = 3*c + 3*c. Suppose c = 4*u + 2*o - 478, -u = 3*u + o - 481. Which is smaller: u or 123?
u
Let g be -3 + (-32)/(-10) + (-57)/(-15). Suppose y = g*y + 3528. Let j be -3 + (y/(-340) - (-4)/(-10)). Which is smaller: -2/9 or j?
-2/9
Let z be 26/(-52) - (-2)/4. Is -10/1211 greater than or equal to z?
False
Let s(y) = -y**3 + 42*y**2 - 108*y - 67. Let u be s(39). Is u at least 290?
False
Let b be (0 + 513025)/(5 - (-912)/26). Let x = b - 12801. Which is smaller: -1 or x?
-1
Let r be (-81 - -86)*4/(-60)*-3. Which is greater: r or -15/1786?
r
Let d = 331.9356 - -0.0644. Let m = d - 337.62. Let g = 0.38 - m. Which is greater: g or -1?
g
Suppose 0 = i + l + 64, -i - 11*l = -9*l + 59. Let k be 3*(-1)/i*14. Is k bigger than 1?
False
Let r be (12/(-16177))/(2/(-6 + (7 - -6))). Which is bigger: 0 or r?
0
Let d be (12/56*4)/(9/42). Suppose -d*p + a = -246, 5*a - 4 = 6. Let g = 249/4 - p. Does -69 = g?
False
Let k(t) = t**3 - 32*t**2 - 34*t - 17. Let x be k(35). Suppose -c = -2*r + 5*r + 1491, -5*r + 4*c = x. Is -495 at least as big as r?
True
Let a(c) = c**2 + 5*c + 2. Suppose 2*h = -4*t - 4, -1 = h + 5*t - 2. Let l be a(h). Let i be (-112)/30 + (-10)/(-425)*17. Which is smaller: l or i?
i
Suppose -s = 4*n + 2 - 17, -4*n - 29 = -3*s. Let o = -985778/33 - -29872. Which is greater: o or s?
s
Let m = 1719 - 1194. Let h = 523 - m. Is 0.2 less than h?
False
Let y = -15988 - -15986.445. Which is smaller: y or 0.3?
y
Let g = -13 + -7. Let q be (-6)/(-39) - ((-148)/26)/2. Suppose 0 = x + q*x - 5*k + 104, 5*x + 2*k + 97 = 0. Is x != g?
True
Let p = -159.4 - -184. Let o = -20 + p. Let h = 2.3 - o. Is h less than 0?
True
Let q be (1 - (-9)/6)*160/25. Let p = -14 + q. Let g be (-1)/2 - 63/(-114). Which is bigger: g or p?
p
Suppose -59*r - 72 = -55*r. Let o be (3/r)/((-30)/(-40)). Do o and 1 have the same value?
False
Suppose 0 = 2*s + 8 + 8. Let d(t) = -40*t + 7 + 47 + 47*t - 6. Let z be d(-8). Is z greater than s?
False
Let r = -10/5147 + -10901056/149263. Which is greater: r or -73?
-73
Let q(k) = -62*k + 1. Let b be q(1). Let c be 11 + -86 + 1/((-14)/(-196)). Do b and c have different values?
False
Let w be (-40)/(-48) - (-17)/(-6) - -23. Suppose 0 = -2*c + w + 79. Is c bigger than 55?
False
Let g(o) = -2*o - 39. Let b(q) = q - 1. Let w(k) = 3*b(k) + g(k). Let d be w(16). Let v = -848/35 + -46/105. Which is smaller: d or v?
d
Let s be (-16 - -6) + 5 + -2. Let o be s/(595/(-10)) + 2/272. Which is greater: -11 or o?
o
Let y = 151677/8 - 18960. Suppose t - 1 = 2. Let q = -3 + t. Which is smaller: y or q?
y
Let p be (306/72 - 4)*-1*(-8)/(-529). Is 1 smaller than p?
False
Suppose 75*p = -877 - 698. Let m = -37476/1895 - 9/379. Which is bigger: m or p?
m
Let m = 123 - 124. Let i be 135/(-180) - m/2. Which is smaller: -5 or i?
-5
Let j = -10.31 + 1.61. Let m = j - 2.3. Let k be 1/((-2)/12*-2). Is k smaller than m?
False
Let z = 36220/9 - 4020. Suppose 3*j - 25 = -2*j. Suppose 0*c = j*c + i - 10, 2*c + 4 = -2*i. Which is smaller: c or z?
c
Let o = 3.589 + -4.0592. Are 2 and o equal?
False
Let n(j) = -j**3 - 5*j**2 + 2*j + 11. Let i be (9 - (3 - -1))/(-1). Let a be n(i). Let k be 10 - 10 - (-3 + a). Is k equal to 4/3?
False
Suppose 0 = -2096*j + 1864*j + 1856. Are 1.098 and j nonequal?
True
Let i = 291 - 291. Suppose i = 36*p - 33*p - 6. Which is bigger: p or 63/23?
63/23
Let a(f) = -f**2 - 4*f + 4. Let j be a(-5). Let r be (-8 + (-95)/(-10))*174. Let t = r + -4969/19. Which is smaller: j or t?
j
Let v be 6*2/54 + 232/(-1017). Let r = v - 224/339. Is -0.021 less than or equal to r?
False