h is smaller: 3/98 or k?
k
Suppose 22*y - 12*y + 14*y = 0. Suppose -12*d + 16 - 172 = 0. Which is smaller: y or d?
d
Let v = 2395 + -2395.04519. Which is smaller: v or 1?
v
Suppose -b - 5 = 5*a, -5*b - 1 = -5*a + 24. Suppose -o + 4 = -w, 2*o - 4*w = -a*w + 14. Is 1/6 not equal to o?
True
Suppose -574*u + 283 = 5*f - 570*u, 88 = 2*f - 2*u. Is f less than or equal to 52?
True
Suppose 473 - 176 = 4*z - 5*p, 5*z = -5*p + 405. Suppose 9*i - 10*i = -z. Let m be (-22)/77 - i/(-28). Is m at least as big as 0.2?
True
Let w = 0.1816 + 3709.8184. Is w greater than or equal to -0.3?
True
Let t = 266 - 251. Suppose -t = 43*j - 187. Suppose 15 = 2*b + b. Which is bigger: b or j?
b
Let m = 1096 + -1100.68. Are m and -5 equal?
False
Suppose 135*j - 101*j = -1174 + 426. Suppose 0*f - 7*f - 182 = 0. Are j and f unequal?
True
Let g(a) = -15*a + 570. Let h be g(38). Is -46/55 equal to h?
False
Let o = -13847 - -13848. Is o greater than -1/122?
True
Suppose -711*d + 694*d = 595. Let z = -18 - 15. Which is smaller: d or z?
d
Let c = 14 + -30. Let f be (3/(-18))/((1/18)/((-819)/(-156))). Are c and f unequal?
True
Let y(g) = g**2 - 11*g + 22. Let z be y(10). Suppose -z*o - 408 = -4*o. Which is greater: -53 or o?
o
Let t = -72228 + 72229. Let n = -25443706 - -13536026519/532. Let y = n - -330/7. Is y at most t?
True
Let v be (-5)/20*(-12)/(-3). Let k be 2/23*8/(-96). Is k less than v?
False
Let a = -168.07 - -168. Let j = 0.327 + -0.22. Let c = j + -0.207. Which is smaller: c or a?
c
Let c = -171 + 171.346. Let m = -0.146 + c. Which is smaller: m or -4?
-4
Let d = 11 - -154. Let t = d - 149. Is t > 22?
False
Let b be (-4698)/(-4930) + 6/(-10). Let p = 50.5 - 51. Which is bigger: b or p?
b
Let n = -0.523 - 0.115. Let f = n - -19.638. Is 2/5 < f?
True
Suppose -24*z = -24 - 96. Is -50 not equal to z?
True
Let z = -58 - -64. Let k be (-45)/30*4/z. Suppose 2 + 1 = 3*g. Are k and g equal?
False
Let h = 7.6 - 8.22. Let x = -0.62 - h. Which is bigger: x or -3?
x
Let n = 6749.8 - 6746.1. Let i = -306/5 + 61. Do i and n have the same value?
False
Let s(f) = -5*f**3 - 137*f**2 - 53*f + 43. Let n be s(-27). Suppose -5*t + t = 3*w + 18, -2*t + 12 = -2*w. Let i be (1/(-1))/(w/102). Which is bigger: i or n?
i
Let y = -2209230539/1988741 - 57/86467. Let a = y + 1112. Which is smaller: 1 or a?
1
Let b = 70 - 148. Let g = b + 92. Suppose k + h = -g - 0, 4*k - h = -46. Is k greater than -13?
True
Let b(w) = -w**2 + 3*w + 3. Let n be b(3). Let l(t) = 3 - 3*t - n + 0 + 65*t**2. Let h be l(1). Which is bigger: h or 63?
63
Let z = 14266.8 - 14267. Is z at least -587?
True
Let y = -25806 - -25801. Is -2805 bigger than y?
False
Let s(d) = 5*d**2 - 3*d + 3. Let x be s(1). Suppose y - 4*i = -17, -x*i = -y + 7 - 29. Let v be (-2)/(y + (-20)/6). Is v less than 6?
False
Let p be ((-12)/558)/((-98)/18). Let z = p + -129127/3038. Let v = z - -165/4. Is v greater than 2/7?
False
Let n = 1 - 3. Let l(r) = 36*r + 544. Let q be l(-15). Let a be (-2 + 4)*(q - 70/16). Is a at least as big as n?
True
Let v = 4622 - 5120. Are -1492/3 and v unequal?
True
Let l be (6/(-482))/((-348)/580). Suppose -16*q - 1 = -17. Are q and l equal?
False
Let y be (-1 + 0)/(2/6). Suppose -36*t = -52*t + 80. Let m be (y/(-18))/(320/66 - t). Do m and -1 have different values?
True
Let m = 12173 - 85201/7. Do -8 and m have the same value?
False
Let t = -12132 - -12133. Which is greater: t or 22/63?
t
Let x = -17 - -24. Let g = -3013 + 3016. Are x and g unequal?
True
Let c = 8.6 - 27.6. Let i be 1463/99 + -15 - (-8)/18. Which is smaller: c or i?
c
Suppose 0 = -x + 8*c + 2, x = -3*c + 52 - 50. Let y = -43.92 - 0.08. Which is greater: x or y?
x
Let x = 17140 + -17140.2. Which is bigger: 782 or x?
782
Suppose 5*r - 175 = -30*r. Suppose -r*j - 18 = -4*x, -5*j + 6*x - 12 = 5*x. Suppose -3*z + 4 = 7. Is j > z?
False
Let m = 6418/9 - 713. Is -479 <= m?
True
Suppose -45*v + 9408 = -87*v. Which is greater: v or -1576/7?
v
Let k be (-250)/4*(-40)/50. Suppose 2*n = 2*l - k, -l - 2*l + 2*n = -79. Suppose o = w - 24, -7*w + 3*w - o + 121 = 0. Are l and w equal?
True
Let t(x) = -19*x + 117. Let v be t(6). Let c be -3*(v - (5 - (-15)/(-3))). Is c less than -6?
True
Let q(m) = m**2 + 3*m + 1. Suppose -13 = 3*h + 2*l, 25 = -5*l - 0*l. Let y be q(h). Let f be 512/(-2937) + (1 - 1) + 30/165. Are y and f equal?
False
Let z be (3*1)/(201644/(-25196) - -8). Let l = z - -993. Suppose 5*a = -4*q - 27, -2*q = a + a + 12. Is l equal to q?
False
Let m = -8708/5455 + -4/1091. Let y(j) = -2*j**2 + j - 1. Let q be y(1). Which is bigger: m or q?
m
Let d be 1 + (6/(-2))/((-6)/54). Suppose 12*l - 20 = d. Which is smaller: 9/2 or l?
l
Let o be 210 + (9 - 10) + 5. Which is smaller: o or 1494/7?
1494/7
Let a(j) = -j**2 - 22*j + 70. Let s be a(-25). Let f be 9/(-72) - 158/16. Which is smaller: f or s?
f
Let x = 1571 - 1283. Is 863/3 equal to x?
False
Suppose 18*g - 3199 = 10301. Let j be g/(-27) - 1 - (-2)/(-9). Let c = 34 + -64. Which is bigger: j or c?
j
Let k be (-2)/4*0/(50/(-5)). Let l be -1 + (1 - (-8)/788). Which is bigger: l or k?
l
Let j be (((-4)/(-1))/(-16))/((-60)/(-32)*4). Are 59 and j nonequal?
True
Let t = 1501/36 - 169/4. Let o(r) = -r**3 - 9*r - r**2 - 2*r**2 + 3 - 4*r**2. Let l be o(-5). Which is smaller: l or t?
l
Let k be ((-480)/(-112))/(2/(-602)). Is k != -1290?
False
Suppose 15873*m + 1 = 15872*m. Which is smaller: 2/643 or m?
m
Let r(y) = 8*y**2 + 506*y + 72. Let m be r(-63). Which is smaller: m or -592/11?
m
Let n = -53.4 - -21.5. Let d = 390 + -358. Let b = d + n. Is b at least as big as 65?
False
Let y(g) = 205*g**2 + 1227*g - 19. Let c be y(-6). Let x = 323.3 + -350. Which is bigger: x or c?
c
Let p = 0.1372 + 0.0628. Is p smaller than -77/4?
False
Let r be 27366/109448 - (-7 - (-203)/28). Let u = -4384761/13681 + r. Which is smaller: u or -322?
-322
Let u = 85 - 82. Suppose -4*k = u + 9. Let g be 0/(3/(k/(-4))). Is 1/7 at least as big as g?
True
Let c = 68937/35 - 9851/5. Suppose -5*m = 5 + 5. Which is smaller: c or m?
m
Suppose -3*y - 73 = -79. Suppose 5*c = g + y*c - 15, -4*g = -5*c - 25. Which is greater: -4/49 or g?
g
Let q be (-75)/(-7) - (-4)/14. Let p be (12/3*-9)/(24/(-16)). Suppose -3*t + o = -p, -11*t + 6*t + 40 = -4*o. Which is bigger: t or q?
q
Let a = 6443951/258237 + 125/4099. Let b = -212/9 + a. Which is greater: b or 0.2?
b
Let s = -4996 - 10624. Is -15620 < s?
False
Let b be 45/(-6) + 9/54*-21. Is b at most as big as -120/11?
True
Let m = 40 - 13. Let w = 1464 + -1282.8. Let t = 181 - w. Is t not equal to m?
True
Let m = -4080.9 - -4254. Which is smaller: m or -2?
-2
Let t = 0.066 + -0.055. Let q = t + 1.639. Let n = 0.35 + q. Which is greater: -8 or n?
n
Let v be ((-29)/(-5) + -7)/(2/(-5)). Let m be (-3)/(v/4) + 8. Which is bigger: 18/7 or m?
m
Let n(o) = 2*o**3 - 2*o**2 - o. Let r be n(2). Let x be ((-2)/r)/(160/143505). Let i = 299 + x. Is 1 less than or equal to i?
False
Let x be (-1)/(-11) - (-6071)/11. Suppose -197*q = -203*q - x. Is -90 < q?
False
Let m = 309753.898 - 309407. Let l = 0.102 + m. Is 1/4 smaller than l?
True
Let c be (6/(-39) - 15/325)/((-16)/1780). Let l(a) = a**3 - 4*a**2 - 7*a - 7. Let g be l(6). Which is greater: c or g?
g
Let q = 4021 + -4020. Is q at least as big as 25/144?
True
Let c(u) = -449*u - 4170. Let r be c(-11). Which is smaller: 775 or r?
r
Let t(i) = -6*i**2 + 6*i + 1. Let z be t(-5). Let u = -161 - z. Let j be (8/3)/(2/15). Is j not equal to u?
True
Let a = 7614263/377 + -20197. Suppose -29 = -40*z + 11. Which is smaller: z or a?
a
Let j = 33 - 19. Suppose 0 = 4*u - j - 6. Let y = 195 + -191. Which is smaller: u or y?
y
Suppose 0 = -3*r - l - 1, 5*r = -2*l - 1. Let f be 2980/2086 - 33/28. Is f at least r?
True
Suppose 5*r + h - 5*h + 56 = 0, -2*h = -8. Suppose 39*t + 277 = 823. Let m be (-252)/(-98) + r/t. Which is smaller: 4 or m?
m
Let t be (-6)/28 - (-7)/(-1960)*-60. Let d = 286 - 6577/23. Which is smaller: t or d?
t
Let n = -79/1000 + 81569/1311000. Is 0.1 <= n?
False
Let i(q) = -171*q + 1195. Let u be i(7). Let n be (4*(-15)/10)/(4/(-6)). Is u at most n?
True
Let b(j) = 37*j**2 + 125*j + 124. Let v be b(-1). Let s(z) = -17*z - 4. Let l be s(5). Let u = l - -126. Which is bigger: u or v?
u
Let g be ((-195)/1546350)/(2/(-5)). Which is bigger: -1 or g?
g
Suppose 53*z + 600 + 2