
Let v be ((-4)/(96/(-129)))/((-2)/(-36)). Let g = v - 97. Is 74 less than or equal to g?
False
Let m(b) = 27*b**2 - b + 10. Let f be m(3). Let s be (-4)/(-4 + f/62). Let q = s - -125. Which is smaller: 8/13 or q?
8/13
Let u = 149 + -137. Let c be (-214)/u - (-14)/(-84). Which is smaller: -17 or c?
c
Let l(s) = 3*s**2 + 129*s + 247. Let z be l(-41). Let c be (-4)/16 + 29/12. Which is smaller: z or c?
z
Let o = -10243.42 + 10241. Does o = -3/8?
False
Suppose 24*q - 19*q + 10 = 0. Let i be -5 + (-1)/(q/8). Is i > -2/323?
False
Let n be 66/44*172/(-15). Let b = -12/15781 + 8238102/552335. Let m = b + n. Is m equal to -1?
False
Let n = -904 - -2684/3. Let z = n + 19/2. Which is smaller: z or 0?
0
Let x = -2231.98 + 2712. Let y = -494 + x. Let o = y - -14. Which is smaller: o or -1?
-1
Let d be 2434/88 - (-33)/(-44). Which is bigger: d or 26?
d
Suppose 10*j - 7 = 3*j. Let g be 4/((-3)/(-9) - -1). Suppose -2*a - g = -9. Which is bigger: a or j?
a
Let i = 57350 + -1089052/19. Are i and 31 non-equal?
True
Let l be 22/20 - 1 - 7010/100. Suppose 292 = 29*b - 33*b. Which is greater: b or l?
l
Let n = 10 - 2. Suppose 93 = -63*t - 1671. Let y be (n/t)/((-18)/(-14)). Is y smaller than -3/7?
False
Let x be (20 + 3)*3/(-9). Suppose 5 = b - 3*t, 2*b + 2*t - 5*t = -2. Let v = b - x. Which is smaller: v or -0.6?
-0.6
Suppose -4*i - 620 + 180 = 0. Which is smaller: i or -103?
i
Suppose -3*t - 3*l = -33, -6*l - 20 = -5*t - 4*l. Let w = 5 - t. Suppose 0 = 15*j - 72 + 102. Are j and w unequal?
True
Let u = -0.97 - 0.13. Let b = u - -1.24. Which is greater: 5 or b?
5
Let v = 1.53 + -1.73. Is v > 3?
False
Let k = -13 + 11.83. Which is bigger: k or 1/2?
1/2
Let l(r) = 17*r + 387. Let u be l(-21). Let y(h) = h**3 + 15*h**2 + 15*h + 17. Let o be y(-14). Suppose o*z - 9*z = -174. Is u greater than or equal to z?
True
Let l = -1.408 + 1.55. Let h = 0.142 - l. Which is greater: h or 18?
18
Let w(z) = -4*z + 71. Let r be w(17). Let m = 0 + 3. Suppose 0*i - r*i = 12, 0 = -s - m*i - 12. Is s at least as big as 1?
False
Suppose -2*p = -p - 13. Suppose 27*x + 25 = 309 + 13. Are x and p equal?
False
Let f = -1857 + 1855. Is f smaller than -8/3?
False
Let y = 225 + 119. Let f = y + -340. Which is greater: f or 1?
f
Let a be -21*(-6)/(-45) - (-3)/(-15). Let l(z) = -z**2 - 37*z - 103. Let u be l(a). Is 3/235 < u?
False
Let x(b) = -b**3 - 8628*b**2 - 22*b - 51 + 14 + 8606*b**2. Let o be x(-21). Suppose 34 = -3*s - j, -2*s - 2*j - 16 = -0*j. Which is smaller: o or s?
o
Suppose -4*v + 9*v + 15 = y, 2*v = y - 9. Suppose 21*b = -37 - y. Which is bigger: b or -42/19?
b
Suppose -27*r - 62880 = -7*r. Let a be (r/36)/(2/3). Which is smaller: -129 or a?
a
Suppose -422*c + 412*c = -40980. Is c greater than or equal to 4098?
True
Let p = -1163 - -1163.031. Which is smaller: 5 or p?
p
Suppose -54 = -36*k + 38*k. Let b = -8 + k. Let w be (-6)/2*(4 - (-133)/b). Do -2 and w have the same value?
False
Let u = -5157 - -4663. Is u smaller than -2474/5?
False
Suppose 9 = 2*f - 55. Let i be 2290/(-80) + 4/(f/(-3)). Is i > -1?
False
Let p = 3423 + -20503/6. Suppose j = -2*j + 15. Which is smaller: j or p?
j
Let m(v) = -v**3 + 13*v**2 - 15*v + 38. Let g be m(12). Suppose -g*a = -9*a - 5*a. Is 148 at least a?
True
Let d = -0.13 - -0.05. Let y be 30/40 + (-525)/28. Let r be 2/5*(-8 - y). Which is smaller: d or r?
d
Let z = -116 + 128. Let y be (6 + 0 - 5)*21. Which is smaller: y or z?
z
Suppose 0 = 4*c + 3 + 21. Let m = -4041 - -4040.3. Is m smaller than c?
False
Let c(w) = -196*w**2 + 3*w + 10. Let m be c(4). Let t = 6353/2 + m. Is t greater than 63?
False
Let v = -3.221 - 0.079. Let n = 0.12 + 3.16. Let c = n + v. Is 1 greater than c?
True
Suppose -i = -2*s - 17, 825*s - 826*s = 4*i + 4. Let q = 2118/5 - 7200/17. Which is smaller: q or i?
q
Let r(m) = 79*m - 709. Let c be r(9). Is c greater than 69/55?
True
Let h(p) = -2*p**2 - 7*p - 2. Let o be h(-3). Let t = o - -3. Let u be (7/(21/t)*-3)/2. Which is greater: u or -5?
u
Let t = -2.1 - -2. Let v be (186/(-17050))/(-5*(-11)/(-275)). Which is smaller: v or t?
t
Let m be (63/12)/((-30)/5448). Let b = m + 957. Let n = -5 + 9. Is b != n?
True
Let l = -2352 + 2356.631. Let p = -4.7 + l. Let f = 0.031 - p. Is f at most as big as -0.5?
False
Let b be (308/(-12))/(2/6). Let i be 1*((0 + -3 - -2) + -64). Let x = i - b. Do x and 12 have the same value?
True
Suppose 0 = 151*p - 146*p - 15. Suppose 3*g = -p*d + 5 - 2, 5*d - 35 = 5*g. Are -39/10 and g nonequal?
True
Let y be ((0 - 2) + 22)*(-20)/(-75). Let r be 10 - ((1 - -2) + -1). Suppose 0 = g + g - 2*b - 2, 4*b + r = 5*g. Is y at least g?
True
Suppose 28*p - 218*p - 24988 = 38662. Which is greater: p or -1339/4?
-1339/4
Let n(u) = -17*u - 10. Let r be n(-2). Let i be 153/612 - (0 - (-334)/r). Which is greater: 1 or i?
1
Suppose 13*f - 498 = 17*f + 258. Which is smaller: -2064/11 or f?
f
Let m = -18492 + 17979. Which is bigger: -0.5 or m?
-0.5
Suppose -5*v - 368 = 4*d, -v - 12 = -4*v. Let i = -1582 - -1582. Is i != d?
True
Suppose -24*y - 3012 = 2772. Let x = -240 - y. Is -1/180 greater than or equal to x?
False
Let a be 1085/58 - (-252)/(-504). Is 17 less than a?
True
Let r be -1 - (-1 + 1) - -10. Let p = 32 + 40. Let o be 18/(-81) + 556/p. Which is bigger: o or r?
r
Suppose 4*n - 4 = 4*z, 24 - 22 = -2*z + 4*n. Is z at most 8/71?
True
Let v be ((-4608)/84)/(6/(-224)). Which is smaller: 2046 or v?
2046
Let f(d) = d**3 + 36*d**2 + 36*d + 13. Suppose 4*z - r = -18 - 127, z + 40 = r. Let v be f(z). Let l = -7 - 16. Which is smaller: l or v?
l
Suppose v - 2 + 22 = 0. Let n be v/12*4/10*-9. Suppose -2*i + n = 2*w, -3*i + 9 = w + i. Which is bigger: w or 0.6?
w
Let n = -16582 - -198983/12. Let k(i) = i**3 - 4*i**2 - 5*i - 1. Let z be k(5). Is z at most n?
True
Let z = -62.36 + 63. Let v = -0.781 + 0.041. Let l = v + z. Is l less than 14?
True
Suppose 3*o + 5*t - 21 = 0, -t - 4*t + 5 = -5*o. Suppose 8*x = 7*x + 2. Suppose -4 = 2*v, d + 2*v = -x*v - 5. Is d > o?
True
Let z = 12 - 154/13. Let o be 104/13 - (0 - -8). Are z and o equal?
False
Let v = 4579/68 - 2968/17. Is v >= -108?
True
Let y = -59 + 59.057. Let j = 0.943 + y. Which is greater: -52 or j?
j
Let a be (106810/495)/((-1520)/6) - 3/(-4). Which is smaller: -1 or a?
-1
Let h = -31 + 130. Let x = 99 - h. Suppose -f = -z + 15, x = 5*z - 0*z + f - 69. Is 14 at most z?
True
Let h be (-9183907916784)/336840 + (-6)/(-14). Let i = 27264901 + h. Let x = -2/401 - i. Which is smaller: -3 or x?
x
Let b = -2 + 4. Let s be (-5)/10*(-1)/b. Let k = 523/6479 + 6/589. Which is smaller: k or s?
k
Let h be ((-80730)/24444)/65 + (-1)/(-14). Let k(i) = i**3 + 3*i**2 - 4*i. Let l be k(-4). Is h >= l?
True
Suppose 59*c + 1743 = 38*c. Does -85 = c?
False
Let r = 0.0592 + -0.042. Let b = r + 7.0028. Let h = b - 7. Is h at most -0.5?
False
Let a = 176 - 100. Let x = -73 + a. Let k be x/(-26)*1/3. Which is greater: k or 0?
0
Let a be 2/3028*(-80)/640. Which is smaller: 1 or a?
a
Let t = 11.728 - 11.928. Which is greater: t or 799?
799
Suppose 0 = b + s - 10, -4*s + 19 - 70 = -3*b. Suppose -47 = 5*w + b. Let z = 329 - 329.1. Is z at most as big as w?
False
Suppose -96*j + 93*j = -1164. Let f = j - 498. Is f less than -110?
False
Let h = 2370067/45 - 52668. Let m be 0 + (0/2)/2. Is h >= m?
True
Let j be (1/2)/((-2)/(-64)). Suppose -24*h + 29*h - 721 = f, 0 = 5*h + 4*f - 716. Suppose 4*d - 53 = h*x - 147*x, d = 3*x + 32. Is d < j?
False
Let m be 1/(-4) + 598/2424. Let i = -842/3061 - -5622506/10202313. Let k = m + i. Which is smaller: 0 or k?
0
Let a = -29.3185 - -0.3185. Are a and -0.6 non-equal?
True
Let a = 232 - -1152. Suppose -329 = -4*w + m - a, -2*m - 540 = 2*w. Let u = 1041/4 + w. Which is bigger: -0.2 or u?
-0.2
Suppose -2250 = -b - 2*o, -29*o = 3*b - 34*o - 6717. Which is greater: 3 or b?
b
Suppose m = z - 4, 0 = 2*m + 2*z - z - 4. Suppose m = g - 4*o + 25, -2*g = -o - 3*o + 42. Which is smaller: g or -16?
g
Let u(m) = -198*m + 1826. Let d be u(11). Is d equal to 0.1?
False
Suppose 2056 = -4*r + 3*u, 3*r - u + 357 = -1180. Let i = 543 + r. Which is smaller: 38 or i?
i
Let a be 9 + (3 + 12 - 24). Is a greater than or equal to -2/10025?
True
Suppose -s + 44 = 2*b, -47 - 21 = -s + 4*b. Suppose 0 = 2*l - 1 + 5. Let m be (-13)/s*(0 + (-6 - l)). Is 6/29 > m?
False
Suppose -4*q - 16*q +