y equal?
True
Let z(g) = -413*g - 4610. Let f be z(74). Are -35172 and f equal?
True
Suppose 60 = 16*a - 4. Suppose a*q + 17 = 5*c, -4*c + 5*q = -c - 18. Is c >= -4?
True
Let u be (-675)/(-150)*(-118)/3. Let k = -4/42755 - -61096927/342040. Let y = k + u. Which is smaller: 1 or y?
1
Let y = -8.1 + 117.1. Let g = y - 29. Let k = -78 + g. Which is smaller: -18 or k?
-18
Suppose -3*v + 88 = -25*v. Suppose 5 = -5*m + 30. Suppose -m*a - g = 12, 9 = -0*a - a + 2*g. Which is bigger: a or v?
a
Let s be (-4)/(-18) + (-430)/(-90). Suppose 0 = 6*k + s*k - 418. Is k equal to 34?
False
Let i = 7818.7 + -7819. Are -3644 and i nonequal?
True
Let j = -23/15 - 4/5. Let k be (-21)/(-4) + (-1)/((-5)/(-35)). Are k and j nonequal?
True
Let y = -261 + 489. Let n = y - 229. Is n != -24/35?
True
Let x = 4486 + -3920.9. Let u = 565 - x. Which is smaller: -47 or u?
-47
Suppose 1503 = -12*w + 1515. Let k = 30 + -511/17. Which is bigger: k or w?
w
Let l be (-1163)/2387 - (-33)/77. Let h = -2864/25575 - l. Let u = 1622/525 - h. Are u and 2 nonequal?
True
Suppose 0 = 3*s + 15*s + 540. Let t = s + -2. Which is bigger: t or -29?
-29
Let d = -62524 + 1812953/29. Do -9 and d have different values?
True
Suppose -143*k = -145*k + 3*v + 469, k - 224 = 5*v. Is 4044/17 greater than or equal to k?
False
Let a be 22/(-1)*(-17)/34. Let q be 0/(-4 + a)*2/(-4). Is q at least -2/307?
True
Let f(j) = 13*j - 35. Let l be f(-8). Suppose 5*x - 77 = -3*d, -4*d - 5*x = -2*d - 53. Let i be -2*4/d + l/15. Which is smaller: -11 or i?
-11
Let w be 48/(-20)*(-10)/4. Suppose 10 + w = 4*i. Let l be (-458)/(-126) + 2/14. Are i and l non-equal?
True
Let w = -1 - -3. Suppose 2*f - 4*c - 11 = 17, 0 = -5*c - 25. Suppose -10 = -f*q + w. Is q smaller than 5?
True
Let t = -30673 + 30713. Let j be 1*40 - 0/3. Is j > t?
False
Let m be (98/735 - 2/(-10))*(-16 + 1). Let a = -0.3 + 0.2. Do a and m have the same value?
False
Let h = 0.08 - -53.92. Let v = -52.3 + h. Let u = 1.9 - v. Is u at least -4/5?
True
Let r(c) = -820*c - 5019. Let h be r(-9). Is h greater than 2364?
False
Let v = -597.2 + 98.2. Let t = -499.2 - v. Which is smaller: 0.04 or t?
t
Let p(g) = 12*g + 114. Let x be p(-9). Suppose 3*z + f = 7, 26 - x = 5*f. Which is smaller: 2/73 or z?
2/73
Let a = -0.331 - 0.106. Let h = -199 + 198.963. Let w = a - h. Do 1/8 and w have the same value?
False
Let c = 598 + -601. Let y = -0.26 - 30.74. Which is greater: c or y?
c
Let a be ((-539)/(-56))/(-77) + (1 - 9846/10960). Are a and -1 equal?
False
Suppose 30*t - 10 + 70 = 0. Let p be 1884/168 + -9 - (-1)/t. Is 8 > p?
True
Suppose 4*f - 18 = 3*o, -5*o - 4*f = -2*f + 30. Let v(n) = n - 16. Let u be v(11). Which is greater: u or o?
u
Let k(s) = 6*s**2 - 45*s + 216. Let a(y) = 5*y**2 - 44*y + 215. Let n(u) = -5*a(u) + 4*k(u). Let f be n(34). Is f >= 5?
False
Let h be ((-18)/(-7) + -3)/((-6)/(-342)). Which is bigger: h or -24?
-24
Let n = 2.063 + -2.103. Which is bigger: 114 or n?
114
Suppose u + 2 - 14 = 0. Let b be (u/(-14))/((-16)/56). Suppose -t = t + b*t. Which is bigger: -4/5 or t?
t
Let g be 1 + (-895)/747 - 102/(-459). Suppose 5 = -8*u + 5*u - w, 3*w + 6 = 0. Is g <= u?
False
Let g be 17/(221/24) - (-8)/52. Let p = 5489/8 + -685. Which is smaller: p or g?
p
Let c be -1*(4 - 376/40 - -5). Do -133.5 and c have the same value?
False
Let r(a) = a**3 - a**2 + 1. Let g be r(1). Let v = -7312 + 1264972/173. Which is smaller: g or v?
v
Suppose -5*u + 117 = a, -4*a = -5*u - 2*a + 126. Suppose -n - 5*h + u = 0, 5*h = -2 + 12. Which is smaller: 13 or n?
13
Let b = 103 - 103.122. Let h = b - -1.222. Let k be (2/14)/(7/(-14)). Which is smaller: k or h?
k
Let d be (-1 - -2 - (-749)/(-535))/((-2)/6245). Is d != 1250?
True
Suppose -61*m + 108 = -58*m. Suppose -g = 4*f - 0*g - 4, 3*g = -12. Suppose -3*d + 0*n + 112 = n, d - 42 = f*n. Which is greater: d or m?
d
Let w be 5856225/1725 + (-8)/(-92). Which is bigger: 3397 or w?
3397
Suppose 0*j + 4*s = 3*j + 5, -3*s + 4 = -2*j. Let x be ((-51)/25)/((-3246)/2705). Which is smaller: j or x?
j
Suppose 27 = 66*x - 303. Let i(y) = 16*y - 79. Let w be i(x). Which is smaller: w or 15?
w
Let m = 2511 + -2700. Is -189 greater than m?
False
Suppose -219*k + 8 = -221*k. Let a be k/(-16) - (-381)/12. Is a at most 35?
True
Suppose 6*s - 9*s = -3*x - 1149, 5*s + 4*x = 1960. Let y = s - 411. Which is bigger: y or -33?
y
Let y = -115 + 217. Suppose 4*g + 13*g + y = 0. Does g = -8?
False
Let r be (9/(-60))/(((-12)/30)/((-8)/425)). Let n = -61 - -60. Do n and r have the same value?
False
Let k be (407 + 1)*((-368)/(-48) + -24). Which is greater: -6666 or k?
k
Suppose 22431 = 302*o + 4311. Which is smaller: 88 or o?
o
Let v be 24*((-232)/(-32))/29. Do v and 219/41 have the same value?
False
Let d be (8 - 9) + (1 - -3). Suppose 0 = b + 5*p + 3 + 3, -5*b = -2*p + d. Let l be 0 + (-21)/18 - b. Which is smaller: 1 or l?
l
Suppose -7770 = 4*r - 2*o, -74*o - 1935 = r - 73*o. Is -1941 bigger than r?
False
Let x = 3.045 + 0.155. Let a = x + -3.3. Is a greater than or equal to -14?
True
Suppose -107*l + 102*l = 10. Let b be (4/(-3))/(l/(-3)). Is b > -24/19?
False
Let l = -103 - -102.67. Let g = l + 1.32. Let n = 1.21 + g. Which is greater: -1 or n?
n
Let w = -4447 + 4458. Is w <= 30?
True
Let c = 2.2586 - 0.2586. Which is smaller: 437 or c?
c
Let n(g) = g**3 + 2*g**2 + g + 57. Let j be n(0). Let t = -1002 + j. Let r be ((-432)/t)/(2/5). Which is bigger: 0 or r?
r
Let z = -0.04953 - -0.24553. Which is greater: 1 or z?
1
Let h(s) = -54*s**3 + 17*s**3 - s + 20*s**3 + 20*s**3 + s**2 - 2. Let m be 2/(-3) + (-5)/15. Let c be h(m). Is c not equal to -3?
False
Suppose -66*x + 408 = -186. Which is smaller: 33/4 or x?
33/4
Suppose 9472 = 74*f - 82*f. Which is bigger: f or -1185?
f
Suppose -3*d = 12, 5*d = 559*b - 560*b - 17. Which is smaller: 108/29 or b?
b
Let l = -63.59 + 64.49. Do 598 and l have the same value?
False
Let t be 4/5 + 125792/(-640). Let j = -196 - t. Which is smaller: 35/4 or j?
j
Let m = 125 + -35. Let s be 3/6 + 1 + (-25)/m. Which is smaller: 2 or s?
s
Let w be 4/18 - 0/(-1). Let a = 368 - 631. Let d = 264 + a. Does w = d?
False
Let s = -20 + 18. Let i be (s + 1)*1 + 4088/(-68). Let w = 61 + i. Is -1 != w?
True
Let v = 159 + -160. Let l be (-1 + 1)/(-6 + 4 - v). Which is bigger: 11 or l?
11
Suppose -2*m + 33 = m. Let k = -9 + m. Suppose 2*s - 3*b + 10 = 0, -2*s - k*b + 8 = -4*s. Which is bigger: -3 or s?
s
Let j = -119563/99 - -11384/9. Suppose -2*p = 3*h + 179, 12*h - 9*h + 155 = 4*p. Let g = j + h. Which is smaller: g or 1?
g
Let o(z) = -51*z**3 + z**2 - 2*z + 1. Let l be o(1). Let u = l - -54. Let h be ((-1)/u)/(-1*1/3). Is h greater than -3/29?
True
Suppose 39370 = 2971*x - 2940*x. Is x <= 2/5?
False
Let t be 3/((-9)/(-357)) + 4 + -3. Let s be ((-50)/t)/((-505)/2). Does s = 0?
False
Let g(p) = 3*p - 15. Let q be g(6). Suppose 0*n + q*n = 5*n. Is n less than -3.4?
False
Let w = -17 - -5. Let c = 6 - w. Let b be (c/12)/(1/(-2)). Is -2 at least b?
True
Let z = 330 - 316. Suppose 23*m - 35 = 18*m. Suppose m*w - 6*w - 16 = 0. Which is smaller: z or w?
z
Let j = 1916599/2013 - 8569/9. Which is greater: -1 or j?
j
Let v = 49475/19243 - -1/2749. Let a = 779 + -777. Which is smaller: v or a?
a
Let c(b) = 9*b - 17. Let t be c(7). Let d = t - 44. Suppose 5*q - 16 = 5*l + 3*q, 5*l + 22 = -q. Is l less than or equal to d?
True
Let g(q) = q**2 + 3*q - 51. Let j be ((-9)/5)/(-7 - (-268)/40). Let r be g(j). Suppose -r = 5*f + 122. Which is smaller: f or -1?
f
Let d = -57140 - -317755539/5561. Let k = 300311/94537 + d. Which is smaller: k or 0.1?
0.1
Let c = -224/165 - -12/11. Which is bigger: c or 29?
29
Let z = 0.002 - -3.098. Let l = 101 + -62. Let h be (3 - l/15) + 7/(-5). Is z >= h?
True
Let u(d) = -d**2 - 24*d - 47. Let j(w) = -w**3 + 8*w**2 + 2*w - 36. Let q be j(8). Let l be u(q). Is l less than or equal to 2?
False
Let a = 102.89 + -109.99. Which is smaller: -24 or a?
-24
Let a be ((-3)/2)/((-9)/18). Suppose -183 = -a*d + 102. Is 95 at most d?
True
Let k = -247 - 401. Which is smaller: k or -650?
-650
Let n = -13230.1 + 13230. Which is bigger: n or -35918?
n
Suppose 10*l - 105 = -5*l. Let r be (3 - (-5)/7*-3)*7. Which is smaller: l or r?
r
Suppose 2*u + i = 6*u + 63, 5*u + 69 = -2*i. Let w(y) = y**3 + 11*y**2 + 13*y + 13. Let r be w(-10). Which 