ger: p or w?
p
Let s be ((-1155)/182 + 16)*2. Which is smaller: s or 19?
19
Let q be (-2307)/5 + 150/(-250). Let o = q - -334. Is o > -128?
False
Let w be (-10)/15 - (-572)/(-6). Let g = w + 109. Let z = 43 - 30. Is z greater than or equal to g?
True
Let j = 205312 - 2877275/14. Is j at least as big as -207?
False
Let g(t) = -t**3 - 4*t**2 + 7*t + 5. Let l be g(-5). Let q be (16/40*l)/((-1)/(-10)). Which is greater: -21 or q?
q
Suppose 123 - 3508 = 119*q - 410. Let v(o) = 7*o + 2. Let f(b) = -6*b - 3. Let r(k) = 4*f(k) + 5*v(k). Let z be r(-2). Is q less than or equal to z?
True
Suppose 9*q + 376 = 7*q. Is -188 < q?
False
Let i = 5675 - 4003. Let j = 90283/54 - i. Which is smaller: -1 or j?
-1
Suppose 32*v = 27*v + 10, 6*t - 16618 = 4*v. Is t greater than 2769?
True
Suppose -31 = -4*f + 3*a, -f + 3*a + 2 + 17 = 0. Suppose 0 = -8*x + f*x - 16. Is -9 > x?
False
Suppose -42*s = -49*s + 91*s. Which is smaller: s or -2/100225?
-2/100225
Suppose 4*a - 9 = 19. Let w = 8 - a. Let t be 2 - (-4060)/(-1896) - 18/(-108). Which is greater: w or t?
w
Suppose 0 = -4*q - 803*r + 806*r + 346, 2*q = 5*r + 152. Is q at least 45?
True
Suppose -14*g - 44 = -2. Let d be (g/6)/(13 + -1 + -4). Do d and -1 have different values?
True
Let f(q) = 2*q**3 - 23*q**2 - 10*q - 25. Let y be f(12). Which is smaller: -10/1079 or y?
y
Let s = -1043/75884 + 3/311. Is -2/11 != s?
True
Let v(w) = 9*w**2 - 4879*w**3 - 9*w + 4878*w**3 + 16 + 0*w**2. Let l be v(8). Is 0 > l?
False
Suppose 3*j - 3*q - 2*q = 19, 5*j + 5*q = 45. Suppose -j*l + 4*l = -4. Let s be -204*3/(-303) - (l + 1). Which is smaller: s or 0?
0
Let t = -4364/4389 + 86/627. Is t at most -25/4?
False
Let k(n) = 20*n**2 + 137*n - 15. Let p be k(-7). Let u be (3 - 0)/(p/8*-6). Do -216 and u have the same value?
False
Let n(j) = -3*j**3 - 3*j**2 - 6*j - 3. Let z be n(-4). Suppose 55 - z = -2*h. Suppose -h = -3*i + 14*i. Which is greater: i or -6?
i
Let u be 24 + -6 + 9/(-1). Which is greater: 203/20 or u?
203/20
Let w be -2 + 3 - (55781 - -34). Let j be (-223315)/w - (4 + -1 - -1). Which is greater: 0 or j?
j
Suppose -441*u - 35 = -448*u. Suppose -10*a - y = -u*a - 4, 5*a - 2*y - 7 = 0. Which is bigger: a or 198?
198
Let u = -0.04393 + 6.42693. Which is smaller: 0 or u?
0
Let x(l) = 565*l. Let k be x(1). Let f = k - 9608/17. Suppose -4*q = 2*q. Is q at most f?
False
Let r(l) = -50*l**2 - 27*l + 128. Let q be r(4). Is -779 at least as big as q?
True
Let y be 77/(-14) - (2 + 5/(-2)). Let i be (4/y)/(229/115 - 2). Do i and 94 have the same value?
False
Suppose q - 6 = -3*p, 3*p - 90*q - 6 = -88*q. Let d be (12/(-5))/((-3)/10). Let i be 6/p - (d - 3 - 2). Which is smaller: 2/77 or i?
i
Let j = -889 - -828. Which is smaller: -68 or j?
-68
Let y = -923 + 1011. Does y = -0.2?
False
Let u = -20/17 + 5404/4709. Which is smaller: u or 1?
u
Let a be (-6)/(-15) + 2 + 2. Let u = 22.7 + -22.7. Is a >= u?
True
Let w be 3*(-4)/6 - (-152)/95. Is w <= -7.97?
False
Suppose 22*i - 17*i - 4*x + 17278 = 0, -5*i - 5*x - 17215 = 0. Suppose -3*r + 658 + 530 = 0. Let d be 5/(i/r) + 2/5. Which is bigger: d or 0?
0
Suppose -v = -5*v - 48. Let r be (3 - (-40)/(-2))/((-9)/(-3)) - 6. Which is smaller: r or v?
v
Let z be (-4)/((-16)/15)*2040/25. Which is greater: 320 or z?
320
Let c(v) = -15*v + 870. Let q be c(58). Which is smaller: q or 1/4346?
q
Suppose 10*p + 0*p + 13*p = 23. Let r be 1/(-2)*1/(-221). Which is smaller: p or r?
r
Let g = -124.6 - -136. Let b = g + 20.6. Which is smaller: 0.1 or b?
0.1
Suppose 132 = -2*r + 5*i - 815, -9*r + 4*i - 4243 = 0. Is -485 at least as big as r?
False
Let q be (-792)/(-30) + 0 + 2. Let p = q - 144/5. Is 34 < p?
False
Let f = -0.244 - 0.056. Does f = 5/163?
False
Suppose -n + 1895 = -50*f + 48*f, 2*n - 10 = 0. Which is smaller: f or -946?
-946
Let p(r) = -6*r**2 + 196*r + 65. Let a be p(33). Which is bigger: a or -15/163?
-15/163
Suppose 4*j = 70 - 278. Let q be j*((-36)/16)/3. Let w = -38 + q. Which is greater: -1/17 or w?
w
Suppose 5*a = -3 + 18. Suppose -5 = a*r - 17. Suppose -r*f = -2*m + 68, -m + 2*m - 4 = -4*f. Is 0 bigger than m?
False
Let h(n) = 13*n - 55. Let p be h(4). Let b(z) = -2*z**3 - 4*z**2 + z + 13. Let o be b(p). Is o at most 31?
True
Suppose -258*x = -374*x. Are 6529 and x equal?
False
Let m be 1*17/(34/(-14)). Is m less than 0.05?
True
Let o(j) = j**3 + 8*j**2 - 2*j - 3. Let y(g) = 2*g + 4. Let n be y(-5). Let z be o(n). Suppose -15*r + z = -12*r. Which is greater: 28 or r?
28
Let c(t) = -5*t + 3. Let o be c(-1). Let z = -1148 + 2294. Let n = z + -5697/5. Is n at most o?
True
Let g be (-14)/(-77) + -167*1/11. Let f be (-1173)/g - 5/25. Suppose -3*z = 57 - f. Is z > 6?
True
Let p = 3/292 + -737/14892. Let l = 38.97 - 38.97. Do p and l have different values?
True
Suppose 52*b = 5012 + 114536. Do b and 2300 have different values?
True
Let z(y) = 4*y - 1. Let g be z(-1). Suppose -118 = 5*p + 2*j + 2*j, 3*p = -3*j - 72. Let o = 17 + p. Are g and o nonequal?
False
Let l = -0.04569 + -32.95431. Is l not equal to 12?
True
Let d = 61 - 57. Suppose -d*u = -3 + 11. Is u > 41?
False
Let d be (161/14)/(3/(-36)). Let c = -137 - d. Which is greater: c or -2/293?
c
Suppose -y = -37*t + 34*t + 1972, t - 4*y - 661 = 0. Is 661 bigger than t?
True
Let y be -18*1*4*2/(-280). Which is bigger: 0 or y?
y
Let s = -24.346 - -0.446. Let q = 24.9 + s. Which is smaller: -0.06 or q?
-0.06
Let i be (-1)/(4/18) + ((-92345)/(-110))/23. Which is bigger: i or -54/7?
i
Let l = -75 - 470. Let k = l + 1067/2. Is -12 at least k?
False
Let b = 184.9109 + 0.0891. Is b greater than -4?
True
Suppose -18225 = -90*p - 61155. Is -477 greater than or equal to p?
True
Let r(q) = 9*q + 145. Let l be r(-8). Suppose -87*n = -l*n - 182. Do n and 2 have different values?
True
Let o be 203*(-16 + (-118)/(-7)). Which is greater: 188 or o?
188
Suppose 0 = -5*k + 64 - 19. Suppose 27 = 6*q + k. Let s(h) = -h**2 - 14*h - 10. Let x be s(-13). Is x != q?
False
Let x = 4.65 - -0.4. Let g = 1.57 - x. Let a = g + 0.48. Is 0 greater than a?
True
Suppose 5*b - 34 = -4*r, 3*b + 18*r - 20*r = 16. Suppose 0 = -f - 0*f + 8. Suppose f*o = b*o. Is o greater than or equal to 10/7?
False
Suppose -2*p = -2*i - 10, 11*p + 5*i = 13*p - 25. Which is greater: 1/104 or p?
1/104
Suppose 0 = 4*p - 20*p + 448. Suppose 2*u = -2*c + 7*u - p, 4*c = -2*u - 8. Which is bigger: c or -8?
c
Let z be (-2)/(2/8*104/(-2795)*5). Is 603/14 at most z?
False
Let t be 6 - (-1)/(-1*10/50). Is t equal to -167?
False
Let w(x) = 22*x**2 - 26 - x + 5*x**2 + 146*x**3 - 71*x**3 - 74*x**3. Let i be w(-27). Suppose -7*n - i = 69. Is -13 at most as big as n?
True
Let z = -42295688581972/14319 - -2953815804. Let x = z - -254/43. Is 0 at least as big as x?
False
Let m be 2/((4/(-230))/((-86)/215)). Do m and -3 have different values?
True
Let q = -167 + 550. Let d = q + -767/2. Let x = 29.957 - -0.043. Which is smaller: d or x?
d
Suppose -3*y + 7*y + 5*l = 145, 2*y = -3*l + 71. Let x = 50 - y. Let q = x - 10. Is 2/3 != q?
True
Suppose 814*q = 734*q + 26720. Let i be (-2)/(-15) + (-45207)/(-135). Is i < q?
False
Suppose -65*u + 70*u = 460. Suppose -u*h = -100*h + 2544. Is -1/2 at least h?
False
Let t be (-30*(-1)/(-1))/((-434)/(-1364)). Which is smaller: t or -93?
t
Let y = -42 - -79. Let t = y - -93. Which is greater: 0 or t?
t
Let d be (9 - (-119)/(-13)) + 342/26. Suppose 0 = -3*s + p - 35, 12*p + d = -s + 11*p. Does 3 = s?
False
Let t(j) = -6*j**2 - 48*j - 622. Let y be t(-12). Is -907 < y?
False
Let i be ((-4)/30)/((-12)/72)*(-5940)/72. Let p be 0 + 0 + 2 - -64. Suppose 0*y - p = y. Is i smaller than y?
False
Suppose 4*t + 7 = -3*s, -t - 9 + 1 = 2*s. Let y be -39 - (1 - t)*-1. Let q be (y/1)/(19/(-19)). Which is smaller: q or 39?
39
Let k = -5599 - -5695. Is k greater than 22?
True
Let l(z) = -z**3 + 2*z**2 + 7*z - 11. Let m be l(3). Let g = 2047/31 + -66. Is m < g?
False
Let t = -1266 - -1345. Are t and 80 unequal?
True
Let q = 370/77 + -916/77. Let i = -65/2 + 32. Which is bigger: i or q?
i
Suppose 28*m - 105 = 7*m. Suppose 2*b + m*y + 267 = 0, b - 14 = -5*y - 150. Is -132 at most as big as b?
True
Let y = 0.17 - 0.08. Let f = -0.18 + y. Let o = 77 - 383/5. Is f > o?
False
Let m = 26.4 + -16.1. Let q = m - 10.5. Is -11/5 > q?
False
Let u = -61 - -54. Let i = u + -5. Suppose 5*w = -4*h - 50, 3*