ue
Let y be ((-3)/499)/(16 - 13). Is 0 equal to y?
False
Let l(z) = -2*z - 8. Let g be l(-6). Suppose -8*s + g*s = 616. Let d be 1/(-2) + (-133)/s. Is d < -1?
False
Let x = 367 - 1469/4. Which is smaller: 32/9 or x?
x
Suppose 0 = -2*d - 3*r - 63, 4*r - 153 - 23 = 4*d. Do d and -278/7 have different values?
True
Let r(d) = -d**3 + 0*d**2 - 3 + 5 + 7*d**2 + d - 3*d**2. Let v be r(4). Let c be 14/(-42) - 44/(-6). Is v at most c?
True
Let b(x) = -x**3 + 2*x + 1. Let j be b(-2). Suppose -6*m + j*m = 4. Is -5 < m?
True
Suppose 40*u = 41*u - 6. Suppose -u*c = -4*c - 2. Which is smaller: -7/24 or c?
-7/24
Let z be 51*(-2 + 6)*(-1)/6. Suppose -20 = f + 14. Is z < f?
False
Let s be ((-5)/(400/(-24)))/(27/5). Suppose 0 = -5*t + 4*b + 20, -t + b + 5 + 0 = 0. Which is bigger: t or s?
s
Let i be 201/(-335)*(-130)/12. Suppose 4*x + 24 = 4*d, 2 + 4 = 3*x. Which is greater: d or i?
d
Suppose -t = t - 4, 4*a - 4*t = -88. Let l be (7/(-4))/((-5)/a). Let f = l - 1. Which is greater: f or -9?
f
Let t = -127 + 125. Let v be 118 + (0/6 - t). Is 1 at most v?
True
Let w be (4 + -2)*(-2)/14. Let s = -1.1 - 0.4. Let j = 1.2 + s. Is j less than or equal to w?
True
Let x be 2/(-2) - (-117)/(-15). Let w(h) = h**2 + 8*h - 8. Let a be w(-8). Is x >= a?
False
Let z(i) = 5*i**3 - 3. Let s(r) = r**3 + r**2 - r. Let l(o) = 4*s(o) - z(o). Let v be l(3). Let n be (2/(-88))/((-16)/(-96)). Which is smaller: n or v?
n
Let s = 838.027 + -0.027. Is s at least as big as 1?
True
Let x = -14 - -15. Let v be x - ((-8)/(-4) + -10). Suppose -v = 3*b - 0. Which is greater: b or -1?
-1
Let k(w) = -w**2 - 14 + 3 + 3 - 6*w - 4*w. Let d be k(-9). Let j = 143/285 + -7/19. Which is bigger: j or d?
d
Suppose -2*m - 5*z = -781, -2*z = -4*m + 1978 - 356. Is m > 403?
False
Let g be 2/(244/354) + -3. Let w = 4/1281 + g. Suppose 0 = -m, 0*p = 2*p + m + 2. Is w at least p?
True
Let q = -649.7 + 651.7. Let g = 16.7 - 2.7. Is g at least as big as q?
True
Let q be (-35 + 36)*(-174)/2. Is -92 >= q?
False
Suppose -d + 139 = 143. Which is smaller: d or -51/11?
-51/11
Let n be 1/(-11 + 60/6). Are n and 6/515 unequal?
True
Let w = -1122 + 1121.8. Which is bigger: w or -256?
w
Suppose -84 = 2*p + 4*p. Let j = p - -15. Suppose -1 = 2*g + 3. Which is smaller: j or g?
g
Let l be 8 + 378/(-49) + (-23)/7. Let k be 2/10 + l + 3. Which is smaller: -0.3 or k?
-0.3
Let b = -2/4947 - -242423/49470. Is b at most 5?
True
Let a be (0 + -1 - 697/(-41))*1. Which is smaller: a or 162/11?
162/11
Let a = 4/29 - 2651/19430. Are 0 and a equal?
False
Let x(n) = -n**2 - 2*n + 2. Suppose -5*b + 2*o = -85, -3*b - o + 40 = -0*o. Suppose -5*m - 3 = -4*i - 0*i, 2*m + 3*i + b = 0. Let g be x(m). Is 8 at most g?
False
Suppose 31 = z - 2*c + 3*c, 0 = -4*z + 3*c + 117. Which is greater: z or 31?
31
Suppose -12*p + 30*p = -7488. Is p > -415?
False
Let o = 8 + -5. Let k be (-1)/((-8)/24)*(-112)/(-144). Is o at most as big as k?
False
Let b = -1/4 - -31/156. Let v = 4 + -4. Which is bigger: b or v?
v
Let m = 25.41 + -0.41. Let y = -44 + 20. Let a = m + y. Which is greater: -18 or a?
a
Suppose 1 = 5*g - 19. Let q be ((-25)/(-25))/(((-2)/g)/1). Is q equal to -7?
False
Let d(s) = -11*s**2 + 3 - 1 + s + 11*s + 12*s**2. Let n be d(-12). Suppose -2*f = -13 + 5. Is f greater than n?
True
Let j = -181 + 200. Is j smaller than 12?
False
Let y = -30077/54 + 1066/27. Is y bigger than -517?
False
Suppose 39*k = 25*k + 28. Is k < -2/7?
False
Suppose 10*u - 61 + 1161 = 0. Which is smaller: -107 or u?
u
Let u = -2/15 - 277/60. Let k(f) = -9*f - 16. Let g be k(0). Let i = -22 - g. Which is greater: i or u?
u
Let h = 87 - 110. Is -27 less than h?
True
Let n = 9063/5 - 1828. Which is bigger: n or -15?
-15
Let l = -8 - -17. Let m = -11 + l. Let f = -20 - -77/4. Is f equal to m?
False
Let j be (-3)/5 + (52 - 51). Is j greater than or equal to 32?
False
Let n = -1418 - -1419. Do 3/896 and n have different values?
True
Let t = 82 - 94. Let p(g) = -g**2 - 14*g + 9. Let d be p(t). Which is smaller: d or -2?
-2
Let d = -2243/8 + 280. Is -0.6 less than d?
True
Let z(j) = j**2 + 14*j + 49. Let l be z(-8). Let c = 6.5 - 13.3. Is l greater than or equal to c?
True
Suppose -9*p - 863 + 1718 = 0. Which is bigger: p or 660/7?
p
Let y = -0.01 - -4.01. Let p = 3.9 - y. Let w = -14 + 18. Is w < p?
False
Suppose 3*q + 3 = 5*w, -5*w = 2*q + 4 - 2. Is -1/344 < q?
False
Let d = 28 + -52. Let u = d + 24. Let n be (-46)/(-45) + (-2)/9. Is n greater than or equal to u?
True
Let v = -138 + 137. Let a be (-2 + (-12)/(-2))*1. Let j = v + a. Which is bigger: 1 or j?
j
Let w be (-24)/30 - 19*(-52)/110. Which is greater: 7 or w?
w
Let a be 14 - 10 - ((2 - -34) + 1). Is a greater than or equal to -31?
False
Let x = -351 + 355. Which is greater: x or -3?
x
Let b = -254 + 282. Is 1 less than b?
True
Let h be (2/(-2420))/((-48)/67400). Let i = h - -3/484. Which is bigger: 2 or i?
2
Let q(m) = -3*m + 12. Let o be q(10). Let b be 2/((-1)/((357/(-6))/(-7))). Is o >= b?
False
Suppose 0 = -2784*j + 2753*j. Let w be (-16)/18*1/2. Is w smaller than j?
True
Let n = -40.958 + 41. Let o = -2.342 + n. Is 1 at most as big as o?
False
Suppose 0*d + 4*d = 24. Let m be ((d/(-1))/6)/(262/(-4)). Is m not equal to -1?
True
Let i(f) = f**3 + 24*f**2 + 11*f - 90. Let m be i(-13). Is m > 1625?
True
Suppose 0 + 2 = 2*i. Let q = 12/95 - 119/190. Is i > q?
True
Let o(t) = t**2 + 3*t - 3. Let u be o(3). Which is bigger: 7 or u?
u
Let j be (18/348)/((-6)/8). Suppose 4*d = d + 3. Is j less than d?
True
Let p be (-45812)/556 - 3/1. Let d = p - -1350121/3197. Let u = 337 - d. Is 0 >= u?
False
Let c = -20927 + 20936. Suppose 0*p + p - 3 = 0. Suppose -21 - p = -3*i. Which is smaller: i or c?
i
Let x be -4 - -2 - (-2 - 3). Suppose -3*f = -x + 6. Let p = -347/6 - -58. Which is greater: f or p?
p
Let j = 47 - 15. Let k = 34 - j. Are 9/10 and k equal?
False
Suppose 2*d + 3*d = d. Let c = -353/70 - -27/5. Which is smaller: c or d?
d
Let s be 380/14 + (0 - -3). Suppose 0 = -3*f + 2*a + 98, -3*a + 138 = -0*f + 5*f. Let d = f - s. Is -1 greater than or equal to d?
False
Suppose p = -5*s - 28, p - 11 + 3 = 4*s. Let c(k) = -k**3 - 8*k**2 + 1. Let o be c(p). Which is smaller: 2 or o?
o
Let i be (4 - 22/6)*(3 + -3). Which is smaller: i or -3/26?
-3/26
Let o = 24 + -28. Let w be (16/66)/(o/18). Is 0 greater than or equal to w?
True
Let b = -666 - -666. Is -17/64 >= b?
False
Let z = 0.9 - 0.9. Let o = -77.7 - -81. Let r = o - 0.3. Which is bigger: z or r?
r
Suppose h - 3 = 0, 7 = -4*m + 4*h - 5. Let b = 850 + -11044/13. Is b at most m?
False
Let t be 44/(-123)*(4 - 22/4). Which is smaller: 0 or t?
0
Suppose 5*q + 2*h + 2*h + 121 = 0, 0 = 2*h + 8. Is q <= -19?
True
Suppose -3*u + 111 + 105 = 0. Let t = -59 + u. Does 13 = t?
True
Suppose -39*a + 1 = -38*a, 3*i - 2*a - 244 = 0. Which is smaller: 3 or i?
3
Let n be 369/(-33) - (-6)/33. Let q = n - -13. Suppose 0*k = -5*k - q*u + 2, k - 10 = 2*u. Which is smaller: -2/11 or k?
-2/11
Suppose -107 = -k - 3*f - 40, 0 = -3*k - f + 193. Which is greater: k or -1?
k
Let g be (-32)/(-14) + (-2)/7. Let l = g + -1. Let z = 175 - 167. Which is smaller: z or l?
l
Let p(m) = -11*m + 67. Let f be p(0). Which is greater: 0 or f?
f
Suppose h + 2*h - 3 = 0. Let m(r) = r**3 - r**2 - 2*r - 1. Suppose 0 = -5*t - 5*q + 20, -3*t + 5*q = 2*q. Let l be m(t). Which is smaller: l or h?
l
Let i = -19 - -21. Let x be ((-94)/9)/i + 24/108. Is x greater than -19/4?
False
Let c = -26283/35 - -751. Let k = c + 27/140. Which is bigger: -3/2 or k?
k
Let a be (10 - (8 + 1))/1. Is -2/1405 less than or equal to a?
True
Let m(w) = -w**2 - 8*w + 136. Let k be m(8). Which is smaller: k or -12?
-12
Let r = 0.38 + -0.48. Let d = 18.2 + 4.8. Is d > r?
True
Suppose -8*n - 889 + 313 = 0. Let o = n + 65. Which is smaller: o or -10?
-10
Let g = -663 + 185. Let x be (g*(-1)/(-2))/(-7). Let n = -34 + x. Does 1 = n?
False
Suppose -7*j = 24 - 122. Let p be 38/j - (-21)/(-7). Is 12 smaller than p?
False
Let g = -50477/26 - -1942. Does 2 = g?
False
Let v(y) = -3*y. Let f be v(-1). Suppose -2*g = -f*g. Let o = -0.81 + -0.19. Which is bigger: g or o?
g
Let f = -4742/369 - -44/41. Let j = f - -1141/90. Which is smaller: 1 or j?
j
Let n = 59 + -69. Let l be 10/(-3)*(-24)/n. Let m be (-4)/(-18) + (-22)/18. Does l = m?
False
Suppose 2*b - 278 + 276 =