alse
Suppose -187611 = -16*q - 4*o - 30895, 2*q + 2*o = 19600. Which is bigger: q or 9792?
q
Let m = -2322 - -44120/19. Which is smaller: m or 139?
m
Let y = -8898919/8244 + -613/916. Let p = y - -1083. Is 4 greater than or equal to p?
True
Suppose -11*v + 16*v + 20460 = -17*v. Which is smaller: -928 or v?
v
Let s = 438/7 + -8308/133. Suppose -2*f = 4 - 20. Suppose -3*a = -2*u + 12, -5*u + a - f = 3*a. Are u and s non-equal?
True
Suppose -635 + 38 = -19*m + 11. Is 61 greater than or equal to m?
True
Let y = 538.5 + -249. Let x = y - 289. Do 4/5 and x have the same value?
False
Suppose m + 3 - 3 = 0. Suppose 0 = -5*u - 0*r - 2*r - 228, m = -3*u - r - 137. Let x = u + 45. Which is greater: x or -1/124?
-1/124
Suppose 4*m + 0*m + 20 = 0, -2*m = -4*x + 30. Let l = x + -2. Let q be -6 - ((-1)/2 + (-45)/30). Which is smaller: l or q?
q
Let n be -4 + (-17 - -9) + 7. Does n = -1051?
False
Suppose -5*y = 5*m + 1450, -3*y = m + 935 - 57. Suppose j + 2*j = -882. Is j greater than y?
False
Let a(f) = 6*f**3 + f**2 + 13*f - 17. Let u be a(7). Let d = 15301/7 - u. Which is greater: d or 5?
5
Let x = -8.02 + 0.02. Let m = x - 24. Let a = -185 - -184.9. Which is greater: a or m?
a
Let p(v) = -12*v**3 + 16*v**2 - 13*v + 23. Let r be p(4). Which is smaller: -543 or r?
-543
Let w = 6980 - 6999. Which is smaller: 146 or w?
w
Let o(n) = -n + 47. Let f be o(-8). Suppose 2*s - 15 = 5*u - f, 2*s + 30 = 4*u. Is 6 equal to u?
False
Let a = -0.1 - -0.3. Let p = 1.8 - a. Let j = -3957 - -3958. Is j equal to p?
False
Suppose -52574 = 42*f + 75*f - 20*f. Is -542 greater than f?
False
Let c = -122598/59 + 2078. Does c = 2/13?
False
Let i be (30/4*-1)/((-363)/(-55)). Which is smaller: i or -1?
i
Let t be (((-280)/30)/14)/(4/18 - 0). Is -32/13 > t?
True
Let w be (-1)/((3 + -4)/(-2)). Let o be ((-13)/w)/(-13)*(-2)/10. Is 1 > o?
True
Let f = -1515442/111 + 13652. Is 0 greater than f?
True
Let s be 110/11 - 0/2. Let b be (-105)/s - -5 - -6. Which is smaller: b or 39?
b
Suppose 0 = -7*g + 18*g - 5*g. Is g > -2/277?
True
Let q = 382 + -346. Suppose 0 = -8*v + 26*v - q. Does v = 4?
False
Suppose 15*h - 6 = 5*w + 18*h, 4*h = -5*w - 8. Which is smaller: 2/22925 or w?
w
Let w = -3640 + 3508. Which is smaller: -0.1 or w?
w
Suppose 4*t = -2*l + 90, 5*t + l + 0*l - 108 = 0. Let s be 6/(-4)*56/t. Let m be -1 + -1 - (-6)/(-4). Is m equal to s?
False
Suppose -161*d - 173724 = -37*d. Which is smaller: d or -1399?
d
Let l(k) = -6*k**2 - 2*k + 1. Suppose -6*u + 4*u + 2 = 0. Let i be l(u). Suppose z - 29 = 4*r, -2*r + 2*z + 1 - 17 = 0. Is r < i?
False
Let r = 94 - 103. Let t = -1172 - -1164. Is r bigger than t?
False
Let l = -9325 - -587458/63. Suppose 2*i = -28*i. Which is bigger: i or l?
i
Let d = -3802 + 3804.3. Which is smaller: -6 or d?
-6
Suppose -2*w + 32*w = 4800. Let v = -184 + w. Is -23 greater than or equal to v?
True
Suppose 4*c - 3*y - 19 = 0, 3*c = 6*y - y + 28. Let g be (16/(-24))/(10/12*4984/280). Is g smaller than c?
True
Let z(k) = 2*k + 1. Let i(u) = 15*u - 111. Let a(t) = -i(t) + 5*z(t). Let d be a(24). Is -7 at least d?
False
Let u(i) = 8*i**2 + 3*i. Let c be u(-1). Suppose c*q - 8*j + 93 = -11*j, 2*j = 8. Is q != -24?
True
Let a(q) = 15*q - 105. Let c be a(7). Let i be ((-876)/435 - -2)*-10. Is i at most c?
False
Let i = -2 - -27. Let j = 35 + -32. Suppose 0 = j*f + 62 - 140. Which is bigger: i or f?
f
Let n be (-2076)/1211 + (-2 - (-19)/7). Does -2/2947 = n?
False
Suppose 4*y = -4*f + 4768, 5*y = -6*f + 3*f + 3568. Which is bigger: f or 1195?
f
Let i = 0.156 + 0.051. Let v = 5.393 + i. Are v and 1 nonequal?
True
Let k be (4*(-6 + 4))/(4/(-2)). Suppose y + 2*y + g = -5, 0 = 2*y - k*g - 20. Which is bigger: y or -2/1085?
y
Let h(o) = o**2 - 3*o - 3. Suppose 2*f - 5 = -3*d, -3*d + f = -f - 13. Let n be h(d). Let p = 3018 + -3007. Is n equal to p?
False
Let j = 17215 - 16440. Is j equal to 772?
False
Let t = -197 - -204. Suppose -13*c + 12 = -t*c. Which is smaller: 15/7 or c?
c
Let o be (-336)/(-84)*(-6)/(-16) + 1836/(-1128). Let i(t) = 2*t**2 - t. Let x be i(1). Which is smaller: o or x?
o
Let d = 111.845 + -0.545. Let z = 1.7 + d. Let u = -113.1 + z. Which is bigger: 2/13 or u?
2/13
Let i = 17.41677 - 0.01677. Is i not equal to 2/9?
True
Let r be 396/(-27)*9/6. Let g be (20 + r)*2/4. Which is smaller: 2/775 or g?
g
Suppose n + 14 = 5*y, 2*n - 45 + 40 = -y. Which is smaller: n or -1/1538?
-1/1538
Let g be (-45)/12*4*-1. Suppose -g*z = -9 + 24. Which is bigger: -4/85 or z?
-4/85
Let c(a) = 2*a**3 - 16*a**2 - 6*a - 10. Let i be (-9)/((-90)/(-4))*(-1 + -19). Let p be c(i). Which is smaller: -59 or p?
-59
Let x = 282.8 - 288.788. Let w = 65.5 + -65.488. Let g = w - x. Is g equal to -4?
False
Let z = -83956 - -83952. Let o = -3709/273 - -232/21. Which is smaller: o or z?
z
Let s = 1185.2 + -897.8. Is 1 not equal to s?
True
Let r be (10 + -9)/((-2)/(-6)). Suppose 2*a + 12 = 2*s, 0 = 2*s + r*a - a - 8. Suppose 3 = 3*x, 4*x - 10 = s*y - x. Which is bigger: 5 or y?
5
Let n be 14/(-6)*(1 + -4). Suppose 5*j = 4*z + 32, 3*j = n*j - 16. Let u be z*((-1)/((-3)/(-2)) + 1). Which is smaller: u or -1/6?
u
Let a = -191 + 190. Let k = 4304/21 - 620/3. Is k != a?
True
Let c(q) = -q**3 - 3*q**2 - q + 1. Let f be c(-1). Let u = -79418/95 + 836. Which is greater: f or u?
u
Let x = 537 - 572. Is 2/489 greater than x?
True
Let t = 127.3 + -122. Let k = 9.3 - t. Is k bigger than 0.3?
True
Let g(z) = -z**3 - 10*z**2 - 20*z + 7. Let t be g(-7). Let l = -309131/186 - -1662. Which is smaller: l or t?
t
Let c be 8/2*(6/(-51) + (-90)/680). Is -5/1861 less than c?
False
Let o = -23.4 - 41.6. Let n = 4129/5 + -826. Is o smaller than n?
True
Suppose 0 - 8 = 4*x, 3*f - 5*x = -548. Let a = 187 + f. Is 0.02 less than or equal to a?
True
Let d be 60/100 + 3*(-3)/9. Which is bigger: d or -8380?
d
Let v be 2 + (1 - (3 - 2)). Let i be v/(-10) + 23/(-15). Let g(n) = 40*n + 6639. Let r be g(-166). Is r smaller than i?
False
Let p(k) = 2*k**2 - 13*k - 6. Let d = 60 - 53. Let f be p(d). Suppose -7*z + 6 = -f. Which is greater: z or 3/25?
z
Let j be ((-2)/2 + -1)*34990/20. Which is smaller: j or -3500?
-3500
Let n = -298 + 311. Suppose n*j - 7*j - 12 = 0. Which is smaller: j or -15?
-15
Let s(m) = -m**3 + 13*m**2 + 11*m - 24. Let n be s(14). Let h be (9/(-6))/(2/4). Let f be (-3 + n/(-20))/(h/(-15)). Which is bigger: -1 or f?
f
Let n = 5699/469 + -86/7. Let m = 629/3685 + n. Do m and 0 have the same value?
False
Let o be 14/84 + ((-58)/(-12) - 0). Suppose -5*m + a = -4*m - o, -5*m - 5*a = 15. Is m >= 1/56?
True
Let k = 90/31 - -1807/93. Suppose z = -0*z + 5, 4*z + 43 = 3*y. Which is bigger: y or k?
k
Suppose -9*f = -18*f + 3519. Let d = f + -399. Which is bigger: -7 or d?
-7
Let m = -6172 + 6237. Are 99 and m equal?
False
Suppose -13*c + 7974 = -5*c - 2*c. Which is bigger: c or 1330?
1330
Suppose -314*z + 6718208 = 8*z. Which is smaller: 20865 or z?
z
Let s = -2947/8 - -369. Let g = 15377 + -107448/7. Let q = g + -27. Which is greater: s or q?
s
Let i = 6920 + -138397/20. Let o(u) = u**2 - 4*u - 1. Let w be o(4). Which is bigger: w or i?
i
Let g = -23317 - -23316.5. Is -126/23 at most as big as g?
True
Suppose -2*j = 5*i - 980, -8*i + 3*i - 3*j + 980 = 0. Does 221 = i?
False
Let o be 3 + -3 + 0/(1 - 7). Let a be (-495)/(-132) - (-5 - o). Is 3/5 < a?
True
Let i = 10751 - 10731. Is i at most as big as 178/9?
False
Let d = 20.51 - 0.51. Let w = d - -11. Let o = w + -29. Which is smaller: o or 8?
o
Suppose -368 = -4*d + 3*d - w, -d + 356 = -2*w. Let o be (10 - d/36)*(-6)/(-19). Which is bigger: 0 or o?
0
Suppose -2*s - 191 = -203. Suppose 3224 = 7*b + s*b. Let t be (-4)/(b/(-3))*(-8)/30. Which is smaller: t or 1?
t
Let i = -523.8733 - 0.1267. Let s = i + 601. Let l = 0.2 - 0.1. Which is greater: l or s?
s
Suppose a - 82 = 4*t, -2 = -19*t + 20*t. Which is greater: 69 or a?
a
Suppose -9*q + 1 + 62 = 0. Suppose 3*a - 11 = -2*m, -a = -3*m + 4*a + q. Suppose 0 = -4*f + 4*k + 50 - 14, -4*f + 12 = m*k. Is f <= 24/5?
False
Let a = 106 + -103. Let u = 1888/803 + -19/73. Is u greater than or equal to a?
False
Let f be ((-27)/(-6) + -2)*6. Let c be (-8)/6*63/(-6). Is c less than or equal to f?
True
Let g be (7750/15)/1 + -4. Let q = g + -513. Is 35 bigger than q?
True
Let a(i) = -2*i**2 - 31*i + 12. Let t be a(-15). Suppose -z + 2