Let v be ((-10)/l)/(1/(-52)). Which is greater: -4 or v?
v
Let w be ((-60)/(-50))/((-6)/(-20)) + (-27022)/59. Which is bigger: -455 or w?
w
Let q(x) = -5*x**2 - 1. Let s be q(4). Let c = s + 37. Let l = 36 + c. Is -7 at most l?
False
Suppose 74*a - 266814 = -169*a. Which is greater: 1106 or a?
1106
Suppose 3*o - 24 = 2*l + 6*o, -4*o = 5*l + 74. Are -75/4 and l non-equal?
True
Let c(k) = 105*k + 12. Let x = -40 - -45. Let v be c(x). Let d = v + -44573/83. Is d at least as big as 0?
False
Let z = -93 - -87. Let w be (3 - 669/231) + z/(-33). Is w bigger than 45?
False
Let k = 0.3 - 0.1. Suppose -15 = -177*i + 172*i, 5*x + 165 = 5*i. Is k greater than or equal to x?
True
Let d = 73 + -69. Suppose -12*u + d = -10*u. Let m be ((16/(-12))/u)/((-2)/(-3)). Is m < -3?
False
Let l(v) = 21*v**2 - 1181*v - 31. Let g be l(56). Which is smaller: -308 or g?
g
Let y be ((-16)/(-2))/(2/(-10)). Let o be 1/4 + y/32. Which is bigger: -1/613 or o?
-1/613
Let u be 252780/48 - 12/(-16). Which is smaller: 5266 or u?
5266
Suppose -232*z - 1032 = q - 227*z, -3*q - 5*z = 3066. Is q at least as big as -1019?
True
Let m = 434 - 433.788. Let n = 2.212 - m. Is -2.7 greater than or equal to n?
False
Let b be ((60/(-90))/((-2)/(-3)))/1. Is b at most -12/2737?
True
Let o be ((-4)/(-10) - 0)*70. Suppose 0 = -0*t + 7*t - o. Suppose 6*d - 2*d = -t. Are d and -1/5 equal?
False
Let w = 9148 + -6122. Are w and 3026 equal?
True
Let l be 24/108 + 3/27*16. Suppose l*y - 206 = -5*b, 5*y - 136 = -5*b + 79. Let f be ((-32)/b)/((-11)/(-5) - 2). Which is greater: f or 1?
1
Let v = -327 - -325. Let z be (-221)/(-430) + -6 + (-11)/v. Is 0 > z?
False
Let p(h) = 54*h - 11. Let z(r) = r**3 - 6*r**2 - 2*r + 9. Let n be z(6). Let f be p(n). Is f less than -173?
False
Suppose -20 = -k - 21. Let i be (-2125)/102*(k - 1) + 3. Are 44 and i nonequal?
True
Suppose -2*g = 2*g + 52. Let z = 344 - 159. Let y = 170 - z. Is y at most g?
True
Let t = 153.39 - -3.61. Is 4 smaller than t?
True
Let h be 7 + -1*(-1 - -3) - (-923247)/5577. Is 170 at least as big as h?
False
Suppose 0 = 5*z - 4*l + 2045, -428 = 2*z - z + 3*l. Let v = -331 - z. Is v >= 82?
True
Let i = 194.44 + -194. Let a = i - 0.63. Is 14 at least a?
True
Let f be (-22)/(-935)*(2 + 3609/(-12)) + 6. Are -1 and f equal?
False
Suppose -i + 19 = -0*i + 5*b, -3*i + 17 = -5*b. Let j be ((-3)/i)/((-8)/(-12))*50. Let z = 21 + j. Which is smaller: -5 or z?
-5
Let a = 58/185 + 1366/9805. Which is bigger: 0 or a?
a
Let g be 16/56 + (-38)/35. Let m = 132 - 134. Is m bigger than g?
False
Let d = -981.4 - -981.8. Are 1.08 and d non-equal?
True
Suppose -5*m - 3295 = 630. Let s = -7334/9 - m. Let q = s - -30. Are 1 and q unequal?
True
Let z be (-162)/(-45) - -7 - 11. Is z bigger than -1/264?
False
Let c be (((-784)/(-140))/(-7))/(254/(-10)). Which is smaller: c or 1?
c
Let h(o) = 4*o**2 - 47*o - 145. Let w be h(-3). Which is greater: 11 or w?
w
Let v = -34723/38825 - -10704995119/61265850. Let m = 1043/6 - v. Is m less than 1?
True
Suppose 0*g + 14 = g. Let v be (2/(-8))/(12/(-672)). Are v and g nonequal?
False
Let p = -1639 + 1638.8. Let y(g) = -g**3 - 14*g**2 + 16*g - 1. Let s be y(-15). Which is bigger: s or p?
p
Let n = -335 - -374.7. Let k = n + -40. Let a be (-3)/10*30/(-36). Which is greater: k or a?
a
Let p = -37982/15 - -2532. Is 27/5 greater than p?
True
Let u = 10 - 8. Let n be (5 + -3)/(u/(-8)) - 2. Let s(m) = -m**3 - 21*m**2 - 39*m - 25. Let g be s(-19). Do n and g have different values?
True
Let h = 876 + -610. Suppose 0*k + 7*k = -h. Let f = k + 45. Is 2 smaller than f?
True
Suppose -5*r + 157 = 4*a, -2*a - 5*r = -76 - 15. Suppose -36*s = -a*s + 9. Let g be 2/(-4) + (-7)/(-22). Which is greater: s or g?
g
Let g be (-11 + 2)*(-4)/(-12). Let i be (-40)/(-12) + (1 - (g + 2)). Let y = -6 + i. Which is bigger: 6 or y?
6
Let z = -2129/56304 - 39/368. Do -1 and z have the same value?
False
Let k = -1.03 + 13.03. Let m = 1/115 - 47/115. Which is smaller: k or m?
m
Suppose 5*c + g = 24611, 6325 = -5*c + 3*g + 30912. Is 4920 >= c?
False
Let q(f) = 125*f. Let x be q(-2). Let t(j) = 14*j - 671. Let y be t(30). Is y <= x?
True
Let c be (-32)/96*3*12. Let k be 42/c*(-28)/98. Which is greater: k or 3/161?
k
Suppose 3*w - 4*v - 150 = 50, 4*w - 2*v = 280. Let b be (w/96)/(1/4). Are b and 5 equal?
False
Let x(t) = t**3 - 11*t**2 - 31*t - 2. Let k be x(-5). Let w = -262 - k. Is w at most as big as -17?
False
Let k = 2844 - 2801. Which is bigger: 54 or k?
54
Suppose -1737 - 3015 = -70*j + 16*j. Do j and 119 have the same value?
False
Let v(f) = -f**3 - 3*f**2 + 2*f + 3. Let p be v(-4). Let u(n) = n**2 + n - 13. Let q be u(6). Let o = -30 + q. Which is bigger: o or p?
p
Let k(b) = -41*b + 796. Let w be k(-21). Do 1659 and w have different values?
True
Let x(o) = o - 2. Let q be x(2). Let c(j) = -12*j - 321. Let g be c(-25). Let r be 50/(-75)*g/(-26). Is q at least r?
True
Let c = -17.646 + 17.566. Which is greater: c or 40?
40
Let n be (2/1 - 1)/(-16). Suppose -4*v = -3*i - 24, -i - 4 = -0*i. Suppose v*x = -70 + 73. Which is greater: x or n?
x
Let a be (-6)/(-21) - 54034/126. Suppose 7*s + 2791 = -212. Let h = s - a. Which is bigger: h or -1?
h
Let v = 9687.1 + -10361. Let m = 674 + v. Is m at most as big as -186?
False
Let i = 0.244 - 296.244. Let b = -642 - i. Which is smaller: -0.1 or b?
b
Let d = -6/11 - -1697/187. Is 8 less than or equal to d?
True
Let x(n) = -36*n - 1875. Let t be x(-47). Which is bigger: -152 or t?
-152
Let f = -1097 + 1115. Which is greater: f or 43?
43
Let r = 0.206 - -164.794. Let h = 165 - r. Is h at least -39/4?
True
Let p(j) = -9*j + 91. Let s be p(10). Which is smaller: s or 4/2129?
4/2129
Suppose 19 = -10*z + 59. Suppose -z*m + 0*l + 130 = 2*l, -2*m + 69 = -3*l. Let o be (-2)/(6/m)*(3 - 2). Is o greater than or equal to -15?
True
Let y = 187 - 87. Let u be 9*(y/48)/(-1). Which is greater: u or -19?
u
Let v be 2/(-18712)*(2/3)/((-10)/(-20)). Is v greater than or equal to 1?
False
Let b = 1885 - -4697. Which is smaller: b or 6581?
6581
Let v be (-96)/66 + 12/4. Which is smaller: v or -2?
-2
Let o(x) = 8*x**3 + 57*x**2 + 17*x - 10. Let y be o(-6). Which is bigger: 38 or y?
y
Let s be 120/(-11)*(-2)/(-3). Let m = -2494 + 2488. Is s > m?
False
Let m be (-135)/(-18)*46/(-6). Suppose 13*g = 12*g + 57. Let z = g + m. Which is bigger: z or 5/9?
5/9
Let t = -4 + 3. Let x be ((-12)/30)/(2/6670*-1). Let o = x + -84046/63. Is t greater than or equal to o?
False
Let h = -77193 + 77161. Let u be ((-1)/(-3))/((-5)/9). Which is bigger: u or h?
u
Let q = -3 - -3.1. Let z(t) = 5*t**2 + 471*t + 44. Let c be z(-94). Do q and c have different values?
True
Let r(p) = -p**3 + 10*p**2 + p - 10. Let k be r(10). Let j = -394 - -257. Let m = j - -5618/41. Which is bigger: k or m?
m
Suppose -124*l - 65270 = 102*l - 12*l. Are 3/4 and l equal?
False
Let z be (6 - -2) + 0/(-16). Let x be (68/8 - z)/(1/108). Is 53 less than or equal to x?
True
Let f be -465*-1*(-2)/(-6). Suppose -r = -2*d + 2*r + 38, -d - r + 24 = 0. Suppose 3*b = -d - f. Is b smaller than -59?
False
Let a(z) = -10*z - 101. Let v be a(-10). Let y be -3 + 12 + -1 - (1 - v). Which is bigger: 7 or y?
7
Let u = 146.08 + -327.48. Is -0.4 at least u?
True
Let z = -12673 + 23045/2. Are z and -1150 equal?
False
Let h be (-1 + 1986/7)*(-3066)/(-1752). Is 494 at least h?
False
Let o(f) = -f**3 - 9*f**2 - 8*f - 21. Let x be o(-7). Which is bigger: 12 or x?
12
Suppose -5*m = -5*i - 275, -73*i + 76*i = -5*m - 221. Suppose 0 = -3*u, -p + 62 = -u - 2*u. Let l = i + p. Are l and -0.03 unequal?
True
Let n = -11665 + 12887. Which is smaller: n or -1?
-1
Let o = 91 - 110. Let b(v) = -v**3 - 20*v**2 - 13*v - 3. Let p be b(o). Is -0.1 at most as big as p?
False
Let i = 234.6306 - 6949.6286. Let u = i - -6708. Let m = u - 0.002. Is m less than -1?
True
Let s be (-37)/(-3)*177/(-885). Which is smaller: s or -1?
s
Let h be 85/(-68)*(-1)/((-25)/(-40)). Which is greater: 1807 or h?
1807
Let y(i) = 15*i - 105. Let k be y(13). Let l = 88 - k. Let u = 104/105 + -32/21. Is l > u?
False
Let k = -214 + 214. Suppose k = 30*i - 26*i + 148. Which is smaller: -34 or i?
i
Let i = -1 + 2. Let o = -84 + 88. Let c be 0 + o*(-6)/76. Which is smaller: i or c?
c
Suppose -2*l - 71 = 3*a + 29, 2*l = -a - 92. Let h(g) = g**2 + 16*g + 48. Let w 