maller: r or 39?
39
Let f(s) = -s. Let u be f(1). Suppose -7*g = -14*g - 8778. Let r = 99062/79 + g. Which is smaller: u or r?
u
Let g(v) = 16*v - 7 - 3*v - v + 2*v**2 - 3*v**2. Let b be g(11). Suppose 8*d - 56 = 4*a + b*d, 2*a = -3*d - 53. Is a greater than -19?
False
Let u be ((-40434)/(-92))/((-10)/(-8) + 13/(-26)). Which is bigger: u or 577?
u
Let x = 32 + -17. Suppose 3*p - x = -0*p. Suppose p*o - 15 = -4*c, -2*o + 9 = o. Which is bigger: c or -3/4?
c
Let l be (1/3)/(-2*(2 - 1150/(-360))). Which is bigger: l or 3?
3
Let b be (12 - 3)*-2*(-4)/(-51). Suppose -24*a - 12 = -18*a. Does a = b?
False
Suppose -12*k + 187 = -833. Suppose -k*a + 336 = -91*a. Is -56 equal to a?
True
Let m be (59 + -47)*1/6. Let z be ((-25)/(-225))/((m - 1)/6). Let t = 2 + -1. Is t bigger than z?
True
Let o(r) = 8*r**2 - 102*r - 26. Let t be o(13). Let v be -1 + 0 - 13/(-15). Which is greater: v or t?
t
Let j = -4039.95 + 3860. Let h = j - -180. Which is smaller: h or -2?
-2
Let t(d) = -d**2 - 11*d + 13. Let o be t(-12). Suppose 3*y = o - 4. Let i = 27772/543075 - -2/13925. Are y and i equal?
False
Let x = 17 + -18. Let u = 577/594 + -25/27. Which is bigger: u or x?
u
Let i = 7337 + -30217/4. Is i at least -217?
False
Let q = -23/2325 + -61999/783525. Do 0 and q have different values?
True
Let x be 616/1188*36/(-42) + (-4)/(-9). Is 8/483 at most x?
False
Suppose 16*z + 3116 - 8588 = 0. Is z > 343?
False
Suppose 19*g + 35932 + 3968 = 0. Let k be (-27)/6*-5*5/g. Is k less than or equal to 1?
True
Let j be ((-818)/18)/(9*(-1)/(-27)). Let b = j + 136. Which is smaller: b or 51?
b
Suppose -p = -11*p - 17*p + 46764. Which is greater: 1731 or p?
p
Let y = 0.71 + -4.51. Let m = 0.4 + -1.2. Let j = y - m. Which is greater: j or -14?
j
Suppose 2*s - 2 = 0, 19 = -2*c - 4*s + 5. Let h be (-11)/(5 + 75/c + 3). Do 2/7 and h have the same value?
False
Let a = 0.051 + 12.849. Let c = a - 64.5. Let j = c - -51. Is -1/4 equal to j?
False
Let y be (-2)/4*(121 - 119). Suppose 4*a + 108 = -48. Let j be 1 - (-1)/37*a. Which is smaller: j or y?
y
Suppose -7*u + 232 = -2050. Let f = u + -815. Is f > -489?
False
Suppose -297*r = 66*r + 5688 + 2661. Let p be 3/(18/8)*3. Is p greater than r?
True
Let m = 9.05217 - -0.08683. Let p = m + -9.2. Is 2/7 != p?
True
Suppose 4*k + 3*f = 0, k + 9*f = 11*f. Let s be (k*(-11)/(-88))/2. Let v = 125/551 - 2/29. Which is bigger: s or v?
v
Let h(w) = 2*w**3 + 3*w**3 + 1 - 2*w**3. Let g be h(-1). Suppose 182*c + 822 = -1726. Which is smaller: g or c?
c
Suppose -372 - 16 = 4*o. Let x = -96 - o. Which is smaller: -2/117 or x?
-2/117
Suppose 5*p = 4*q - 13 - 6, -q + 3 = -3*p. Is 307/3 less than p?
False
Let u(i) = i**3 + 7*i**2 - 32*i - 22. Let v be u(-10). Let z be 4 + (4/6 - (-500)/(-120)). Which is smaller: v or z?
v
Let q be -3 + 16/12*60/34. Suppose 3*r = -5*s + 15, -4*r = s + 4*s - 20. Is q bigger than s?
False
Let l = -749 - -791. Let k be (104/l - 2)*24/32. Which is greater: -1/2 or k?
k
Let v be ((-54)/36)/(4/(-752)*15). Let g be (-7 + 5)/((-2)/18). Is g at most v?
True
Suppose 11*a - 20604 - 3696 = a. Which is bigger: 2433 or a?
2433
Let h = 6296 - 119332/19. Is h smaller than 15?
False
Suppose 4 = 3*z - 2*v, 2*v + 9*v - 95 = -3*z. Which is bigger: 434/71 or z?
434/71
Let m = -23.27 + -1207.73. Is -0.1 less than or equal to m?
False
Let t(h) = 71*h - 1330. Let q be t(100). Are q and 5770 unequal?
False
Let k(f) = -18*f + 432. Let j be k(24). Let q be (-6)/10 + 2626/60. Let y = 3371/78 - q. Which is greater: j or y?
y
Let w be (9/(-186))/((-6)/32). Suppose 0 = -860*z + 920*z. Which is smaller: w or z?
z
Let h = 411 + -783. Let a = h - -745/2. Let z = -12 - -20. Which is smaller: a or z?
a
Let l be (-4)/94*(14 + ((-23276)/(-72))/(-23)). Is l greater than or equal to -1?
True
Suppose 2*j - 3*v = -17, v = j + 40 - 29. Which is greater: j or -205/13?
-205/13
Let b be 78450042/2008*(-68)/(-85). Let a = b - 31255. Let v = -2946/136795 - a. Which is bigger: v or 0?
0
Let c(i) = 14*i**2 + 4*i + 20. Let a be c(-9). Let h = a + -1569. Is h less than or equal to -450?
True
Let b(l) = 4*l + 539. Let z be b(-135). Do -1/1866 and z have the same value?
False
Suppose 5*g + i - 52 = 0, -3*g + 6*i + 30 = 7*i. Does 101/9 = g?
False
Let d = -4.358 - -3.958. Is -613 greater than or equal to d?
False
Let j(p) = -11*p + 3. Let o be j(1). Let z be 6/2 + ((-30)/5 - o). Suppose -z*a - 167 = 5*h + 33, 0 = 4*h + 4. Is a less than -39?
False
Suppose 0 = 5*n + 20*h - 23*h + 6, -2*h = -4. Let j be 3/((-24)/(-20))*14. Let q be 20/j - 264/413. Which is greater: n or q?
n
Let k = -142 - -100. Let v be (18/(-20))/(k/(-756)). Is v greater than -17?
True
Let x be (-15)/25 - (-9)/15. Let p be ((-42)/(-44))/(-1) + 1. Which is bigger: x or p?
p
Let a(l) = 6*l + 2. Let g be a(-1). Let o be (-154)/4 - 4/(g + -4). Let p = o + 38. Which is smaller: p or -2/5?
-2/5
Suppose 0 = 641*g - 646*g + 5*x, -3*g + 30 = 2*x. Suppose 8 = s + 3. Suppose d - 2*z = -4, -7*d + 3*d - s*z = -23. Is d smaller than g?
True
Suppose 5*q - 25 - 40 = 0. Let z be -3 - 76/6 - 4/(-6). Let v = z + q. Is 3 at least as big as v?
True
Let q(v) = 2*v**2 - 117*v + 1213. Let s be q(45). Do -330 and s have the same value?
False
Let t be (-2)/(-13) + (-6432)/270. Let v = t + 1/585. Let z = v - -361/15. Is -5 smaller than z?
True
Suppose -89*b = 73*b + 10430 - 58544. Is 295 equal to b?
False
Let r be (-114)/412604*(0 - (-8)/(-12)). Which is smaller: 0 or r?
0
Suppose 0 = -2*x + 669*t - 668*t - 216, 3*x = 2*t - 327. Let i(b) = -12*b**2 + 3. Let v be i(-3). Is v bigger than x?
False
Let s be (1644/(-48))/(4/16). Is s != -968/7?
True
Let h = 331 + 1905. Let s be -1*(-4 + h/560). Which is smaller: -1 or s?
-1
Suppose -5 = 3*m + 2*z, 5*z = 4*m - 5*m + 20. Let n = -4 - m. Let y be n/((-4)/(-6))*(-1)/(-15). Which is bigger: 0 or y?
y
Let r = 2479 - 994077/401. Suppose -2*m + 16*m + 28 = 0. Is r != m?
True
Let u be ((-56)/(-507))/((-449)/8082). Which is bigger: u or -3?
u
Let d = -3385.5 + 3384.5. Is d at least as big as -5176?
True
Suppose 12*z + 877 = -3*g + 17*z, 0 = 2*g + 3*z + 591. Let d = g - -20581/70. Is 0 > d?
False
Let v be 80/286 - -2*((-224)/77 + 3). Let p = -6 + 6. Is p equal to v?
False
Let q(w) = -2*w**3 - 4*w**2 - 101*w + 693. Let c be q(9). Do c and -1999 have different values?
True
Let w = -0.03877 + 0.48877. Is -2 not equal to w?
True
Let p be 12 - (-6)/(-2) - (-2358)/22. Which is bigger: 116 or p?
p
Let v be 3*(-1)/(-5 + 4). Suppose -4*p = -80 + 72. Suppose 2*q - 75 = -2*o - 15, 0 = -p*q + v*o + 45. Is 27 >= q?
True
Suppose 10*h + 49 + 41 = 0. Suppose 0 = 7*a - 3*a - 12. Let x be (5/(-15))/(a/h). Is -3/35 less than or equal to x?
True
Suppose -9*l = 8*l - 1230 + 312. Is 57 greater than or equal to l?
True
Suppose -306*r = -91*r - 458165. Which is smaller: 2130 or r?
2130
Suppose 0 = -3*w - 66*b + 65*b + 5236, -b = -5*w + 8748. Is w at most 3495/2?
False
Suppose 5*h - 399717 = 215683. Let j = 68679265/558 - h. Let x = j + -19/18. Which is bigger: x or 1?
1
Suppose 0 = 3*w + 1 + 17. Let h be w*(-3)/(-30)*-1. Let v = -6.07 - -8.07. Is h smaller than v?
True
Let q = -2067.12 + 2067. Let f = 0.043 + 0.237. Is q at least f?
False
Let y be 466/6 - (-6)/(-9). Let d be (-2)/11 - 107/y. Suppose 37 = -3*j - 4*i, 71 - 50 = -3*i. Which is bigger: d or j?
d
Let x = 347 - 347. Suppose -3*p - 8 + 2 = 0. Let r be p/6 - 1/(-3). Is x less than r?
False
Let p = -59 - -33. Let k be (-3)/(5/15*18/(-4)). Suppose 3*c - 7*c = -5*l + 75, -k*c + 4*l = 30. Which is smaller: c or p?
p
Let g = 132835652/63215 + 14464/1345. Suppose 2*a + 6334 = -3*u, -u + 4*a + 0*a - 2116 = 0. Let z = u + g. Which is greater: -1 or z?
z
Suppose -2*d = -4, d = -p - 4*d + 19. Suppose -4*r + p*r = 5*a + 30, -4*a - 22 = -2*r. Is 1/44 at least r?
False
Suppose -6*l = -2*l + 36. Let h be ((20 - 21)*-12)/(1 - 50/20). Is h not equal to l?
True
Let a be (4/(-10))/((-2)/10). Suppose 2*j = -a*j + 28. Suppose 3*g - 17 = j. Is 5 not equal to g?
True
Let t be 15/(-6)*(2520/(-3050))/7. Which is smaller: t or -1?
-1
Suppose -3*b + 1 = -2*b. Let m be (19 - (1 - 0))*123/246. Let w be m/(-24) + (-175)/(-40) + -7. Which is bigger: b or w?
b
Suppose -18 = 26*v + 15 - 7. Is v at most 3315?
True
Let w(g) = g + 13. Let t be w(-11). Let o(k) = -t*k + 3*k - 4*k - 11 + 2*k. Let z be o(-11)