-6*i + 5*i. Is 3025/6 >= i?
True
Suppose 5*y = -j - 23, -3*j + 2*y + 26 = 10. Suppose 4*m + 111 = 5*k, m = -j*k - 2*k - 12. Which is bigger: -12 or m?
-12
Let y be (3/10)/(12/5). Suppose 5*k = 3*j - 10, -2*j - 18 + 8 = 5*k. Let p be (-6 - (-76)/12)*j. Is p < y?
True
Let b be (-10*6/12)/(232/(-96)). Is b greater than 2?
True
Let d = 513/7 - 73. Let c = 34724 - 833377/24. Is c at most as big as d?
True
Let u = -66.6 + 60.6. Which is smaller: -1/8 or u?
u
Let o = -4.796 - -4.196. Is -322 >= o?
False
Suppose 3*p - 49 = 29. Let t = p + -16. Let i be (-2)/(2/(-4) - 3 - -3). Which is bigger: i or t?
t
Let v = -558 + 574. Suppose -v*p + 6 = -22*p. Is 6/47 smaller than p?
False
Let f be (-4 - (-28)/6) + 1/3. Let x be (2 + f)*11/3685. Which is greater: x or 1?
1
Let b(c) = -180*c**2 + 64 - 15*c + 52*c + 181*c**2. Let w be b(-35). Is w at least -5?
False
Let q = 0.29 - 0.39. Let i be (-1218)/(-280) + -4*1. Let s = -37/220 + i. Is s at most as big as q?
False
Let h be (-21 - (-1343)/68) + (-323)/(-60). Let z(g) = -g**3 - 3*g**2 + 4*g + 5. Let i be z(-4). Is i smaller than h?
False
Let h be (-75)/((-160)/24 + 7). Let r = 292 + h. Are 66 and r unequal?
True
Let j = 716.129932 + -0.019932. Let g = 716 - j. Let f be -1*2 - (-36)/15. Is g > f?
False
Let u be (((-36)/(-885))/(-6))/(2/(-230)). Let v = -4909/6372 + u. Which is bigger: -1 or v?
v
Suppose 2*w - 14 = 0, 0 = 4*o + 5*w + 479 + 5518. Is -1508 <= o?
True
Suppose 698*d - 4*u = 701*d + 1185, 12*u = 2*d + 702. Which is smaller: 0.2 or d?
d
Let a = -36 - -98. Suppose -3*w - 4*z = a, -2*w - 46 = -0*z - 2*z. Let r(p) = p**3 + 22*p**2 + p + 14. Let c be r(w). Are -8 and c non-equal?
False
Let w(x) = -x**3 - 5*x**2 - 3*x + 4. Let a be w(-4). Let n be 4/(-40) + 16646/164140. Which is bigger: a or n?
n
Let h be (-20)/(-110)*(-451)/(-1476). Which is greater: h or -0.139?
h
Let p = -22120.644 + 22082. Let h = p + 0.744. Let t = h - -38. Is 44 at most as big as t?
False
Let h = 38269.821 - 38356. Let p = 3.939 + h. Let t = -1.76 + p. Which is smaller: 0 or t?
t
Suppose h = 2, -4923*h + 4926*h + 49884 = -5*x. Is -9978 at most x?
True
Suppose -18*n = -11*n - 1 + 1. Which is greater: n or 4/941?
4/941
Let g = 172.28 + 1167.72. Which is bigger: -2/5 or g?
g
Suppose 171*x + 55 = 176*x. Let s(w) = -w**3 - 7*w**2 - w - 2. Let r be s(-7). Which is smaller: r or x?
r
Let m(v) = v**3 - 2*v**2 - 10*v + 3. Let j be m(4). Suppose -2*d - 2*h + 7 - 1 = 0, -2*h + 12 = 5*d. Suppose 4 = -2*r - d. Is r != j?
True
Let t = 8514 + -8515. Which is greater: -483 or t?
t
Let p be (-2178)/(-8) - 6 - (-3)/3. Which is greater: p or 266?
p
Let w be 432/(-144) + 167582/55862. Is -1 at least as big as w?
False
Let n = 5681 - 5684. Is 832 <= n?
False
Let d be (-26 + 1)*(-84)/12. Let a = -184 + d. Is -19 greater than a?
False
Let z = -9713/2111402 - -10/1489. Which is smaller: z or -1?
-1
Suppose -12*n - 203 = -3983. Let s be (-270)/n + (-4)/(-7). Let z(x) = 2*x**2 - 2*x. Let y be z(3). Which is smaller: y or s?
s
Suppose 5*p - 228 = -98. Let g = p + -27. Which is smaller: -0.163 or g?
g
Let m = 24841107914 + -128080745236447/5156. Let r = m + -5561/4. Is 1 < r?
False
Let k = -23996 - -23990. Which is greater: k or 19/77?
19/77
Let o be (-12)/9*(-2)/((-12)/9). Let a = 69.956 - 70. Is o > a?
False
Suppose -14*y = 15*y + 4*y. Which is smaller: y or -2/19289?
-2/19289
Let z = 11623/10822 + -2/773. Let h(o) = o + 1. Let n be h(-1). Is n at most z?
True
Let d = -3/14087 + -4521825/478958. Which is bigger: -10 or d?
d
Let z be (-1 + 19 + -6)/(-1). Let h be 4135/7480 - z/(-22). Suppose -1 - 3 = 4*u. Which is smaller: u or h?
u
Let j(o) = 137*o - 4248. Let v be j(31). Let w be (18/(-20))/((-22)/(-13395)). Let i = -548 - w. Is v at most i?
True
Let m = -487 - -486. Are -5/618 and m equal?
False
Let x = -781/201 - -1879274/9447. Let l = x - 195. Which is bigger: l or 1?
1
Let p = 6529/606620 - 11/980. Is 0 greater than p?
True
Suppose -g = -2*l - 1835, l + 99*g - 94*g + 923 = 0. Which is smaller: -917 or l?
l
Suppose -5*r = -g + 18 - 21, -2*r + 8 = 3*g. Is r less than 5/12?
False
Suppose 165*z - 167*z - 536 = 0. Let y = 272 + z. Which is smaller: y or 0?
0
Suppose -371*n + 352*n + 209 = 0. Let m(s) = -s**3 - s**2 + 11. Let x be m(0). Is x > n?
False
Suppose 10*t - 5166 = 2354. Which is smaller: t or 751?
751
Let d = -20.942 + -0.058. Let h = -21.36 - d. Let k = h - 7.64. Which is bigger: k or 0.2?
0.2
Let o = 61 + -61.027. Let i = o + 0.028. Suppose 0 = -3*a + 6, 2*a - 9 = 5*d - 0*a. Which is smaller: d or i?
d
Let t = -26502.132 + 26560. Let n = t + 0.132. Let f = -57.9 + n. Do 21 and f have different values?
True
Let s be -7 + 5*((-220)/132 + 23/(-15)). Let l = -36 - -12. Which is smaller: s or l?
l
Suppose 0 = 5*r - q + 111, q = -r - 10 - 17. Let o be -1 + 6 + (r - -83). Is 66 greater than o?
True
Let d be 5 + (-14 - 2998 - -3). Is d greater than -2/7?
False
Let g = -1829 + 1684. Is -1 <= g?
False
Let n be ((-2)/(-4)*-2)/((-123)/(-82)). Which is smaller: 171 or n?
n
Let a(f) = -5*f**2 + f - 3. Let d be a(-2). Let v(u) = -4*u**2 - 21*u - 8. Let h be (3/4)/(1/(-8)). Let y be v(h). Is y smaller than d?
True
Suppose -2 = 13*z + 11. Let k be ((-4)/(-2)*z)/(590/(-177)). Suppose -o = 2*o. Which is greater: k or o?
k
Let d = -2350697/82 - -28668. Let j = -28829/30094 + d. Is j != 1?
True
Suppose -4*i = -16, -70 + 12 = 5*k - 2*i. Let t be (1/20)/((-8)/k). Let s(o) = 186*o - 11346. Let q be s(61). Is t equal to q?
False
Let j be (-20)/228*(-6 + 15) - 2. Which is smaller: -2 or j?
j
Let v be (-1)/4 - 105/(-4). Let l = 351 + -346. Suppose -w + v = 5*m, -m - 3*m + 46 = l*w. Is 2 at least as big as w?
False
Let h = -485.5 + 280.1. Which is smaller: h or 4?
h
Suppose 0 = a - 40*a + 78. Let i(j) = -j**3 - 5*j**2 - 4*j + 5. Let g be i(-4). Suppose 0 = g*x - 4*r - 20, -23 = 3*r - 8. Is a equal to x?
False
Let l = -271 + 619. Let k = l + -330. Which is smaller: k or 9?
9
Let a = -143.482 - 11.518. Is a at least 1/23?
False
Let f = -51/11 - -10/33. Is f <= 1260?
True
Suppose 37 = 5*n - c + 11, 4 = -2*n + 4*c. Let m be 30/n + -8 + 9. Are 11 and m equal?
False
Let u be 3*(-16)/(-12)*3291/(-4). Let v = u - -16546/5. Does 17 = v?
False
Let y be ((-56)/(-12))/((-2)/(-225)). Suppose 4*c - 5*p - y = -3471, 3*p + 6 = 0. Let f = c - -24391/33. Which is greater: f or -1?
f
Let i be (1*30/(-72))/((-1)/(-2)). Let w = -64 - -98. Suppose 2*j + 2*j + w = -5*v, -16 = 2*v + 4*j. Which is smaller: i or v?
v
Suppose -15*b = -2*b - 429. Let n be (-83140)/2530 - (-4)/(-22). Let t = b + n. Is t >= -0.1?
True
Suppose -76 = 3*x - 5*o - 69, -4*o = 2*x - 10. Which is smaller: -5/652 or x?
-5/652
Let p(x) = x**2 - 7*x - 3. Let n be p(8). Suppose 5*g - n*d + 10 = -25, -2*g - 26 = -5*d. Let v(h) = 3*h - 3. Let y be v(g). Is -2 greater than y?
True
Suppose 617 - 3692 = 5*s. Which is smaller: -1849/3 or s?
-1849/3
Let m be (9 - (-308)/(-33))*-3. Is -10/87 at least m?
False
Suppose 0 = 11*k + 24292 + 2856. Is -2467 >= k?
True
Let m = 1010/37 - 4077/148. Which is smaller: m or -749?
-749
Let j(s) = 43*s - 33. Let w be j(20). Suppose 10*z - 1963 = w. Does 279 = z?
True
Let r be (-44020)/(-426)*(0 - 1)*-3. Suppose -4*y = -k - 2*k - 1244, -3*y + k = -933. Which is smaller: r or y?
r
Suppose q - 41*q + 423 = 23. Let f be 74/3 - (1 + -3). Let b = 27 - f. Which is smaller: b or q?
b
Let o be 3/69 - 27820/299. Are -77 and o equal?
False
Let s = 166 - 19. Let g = 147.042 - s. Are g and -0.1 nonequal?
True
Let j(r) = -2*r**2 + 13*r + 6. Let s be 7*(1/(-3))/(2/(-6)). Let m be j(s). Let q be (1/(1 - 2))/(-19). Which is greater: q or m?
q
Let w be (-1)/((-7)/16*-2). Let t = 125 - 123. Let a be (-1 + 1)/(3*t/6). Which is smaller: a or w?
w
Let x = 0.788 + -0.545. Let a = 0.057 + x. Which is smaller: a or -60?
-60
Let y be ((-708)/18)/((-12)/99). Let h = y - 321. Suppose -4*c + 6 = -3*v, 0 = -c + 6*c + 3*v - 21. Does h = c?
False
Suppose 0 = -n + 366 + 38. Suppose -n*c + 407*c = -6. Is -7 smaller than c?
True
Let g = 0.06 - -0.8. Let f = -54338 + 54336. Which is smaller: g or f?
f
Let u(a) = -4*a**3 + 4*a**2 - 7*a - 1. Let q be u(3). Let i be q/(-48) - 2 - 1/(-8). Let k = 1 - 1. Is i > k?
True
Let k(g) = 18*g + 63. Let v be k(0). Let x be 252/v + 226/6. Is 41 at most as big as x?
True
Suppose y = 5 + 1. Suppose y*b 