-4.088. Is -0.001 at most as big as j?
False
Suppose -v + m - 138 = 3*m, 3*v + 422 = 2*m. Let l be v/24 + (-2)/12. Let n be (13/l)/(-13)*-2*1. Which is smaller: 1 or n?
n
Let g(h) = -h**3 - 7*h**2 + 6*h + 6. Let b be g(-8). Let k be ((-33)/176*-8)/(18/b). Are k and 3 nonequal?
True
Let x be (10 + (-12891)/1593)*3/(-2). Let i = 18/59 - x. Which is smaller: 3 or i?
3
Let d be 4/(-5) - (-2259)/(-45). Let v = d - -348. Let g = -20791/70 + v. Which is bigger: -1 or g?
g
Let d(u) = -48*u**2 - 20*u - 3. Let k be d(-1). Which is greater: -9 or k?
-9
Let j be 4/40 + (-2)/(-5). Let l = 12 - -34. Let z = -52 + l. Is z at least as big as j?
False
Suppose -3*r + 33 = -5*z, z - 11 = -31*r + 36*r. Let q be (1 - 0/(-2)) + -1. Suppose -2*x - 14 = -q*x. Is x equal to z?
False
Suppose -1096*n - 447*n - 6553 - 5336 = -4174. Let x = -7.7 + -2.3. Let s = -24 - x. Is s at most n?
True
Let r = 109.9 + -109.913. Is -3/5 at least r?
False
Let y = -18574 + 15925. Is 3 less than y?
False
Let d = -2795 + 3094. Which is bigger: 290 or d?
d
Suppose 4*w - 2239 = -59. Is 545 < w?
False
Let g = -1334 - -12014/9. Which is bigger: g or 0.16?
g
Let x = -0.837 + -91.163. Which is smaller: x or -6?
x
Suppose -3*r - 2*r = 85. Let n be ((-2)/6)/(r/6494). Let z = n + -3077/24. Which is bigger: z or 0?
0
Let q(o) = 9*o**2 + 54*o - 41. Let b be q(-19). Is 2182 at least as big as b?
True
Let k = -15201.022 + 15201. Which is bigger: k or 116?
116
Suppose 102 = 22*m - 8. Suppose 418 = 5*j - 11*k + 13*k, m*j = 2*k + 422. Is 84 at least j?
True
Suppose -9*a = 94 - 67. Let t be ((8 + -8)/a)/((-2)/(-2)). Which is smaller: 839 or t?
t
Let b(x) = x**2 - 8*x + 8. Let n be b(7). Let g be (n + -1)*(-2)/4. Let q be 39/105 - 868/1085. Which is smaller: g or q?
q
Let u be 2 - (2 + (1 - 0)). Let y be 330/(-3795)*33/((-9)/(-3)). Which is smaller: y or u?
u
Let h(f) = -2*f**2 - 43*f - 262. Let d be h(-17). Which is smaller: d or -74?
d
Let p(u) = -701*u - 2804. Let o be p(-4). Which is smaller: 77/60 or o?
o
Let g = 1409 - 1833. Which is smaller: -428 or g?
-428
Let q be 406/(-573)*186/217. Is q at most -2?
False
Suppose 35 = 5*m, -20*r + 15*r - 3*m = -4601. Which is smaller: r or 922?
r
Let a be (-2)/3 - (-11)/12. Let n = -8918 - -8917. Is n equal to a?
False
Suppose -3*v + 2*v = 0. Let x = -23989 + 6596973/275. Are x and v unequal?
True
Let l = 211 + -109. Let f = 120 - l. Let v = -128.7 + 129. Does v = f?
False
Suppose -230*o = -157*o. Which is smaller: o or -2/12669?
-2/12669
Let d = -321 - -320. Let z be 248/310*8/38. Which is smaller: z or d?
d
Let a = -32198 + 12561. Is a <= -19636?
True
Let x = -17 + 26. Suppose -3*u - x = 3*c, 0 = -c + 5*c + 12. Suppose u*r = 8*r + 8. Is r < -0.3?
True
Let l(c) = -c**3 + 3*c**2 - c + 3. Let b be l(3). Let h be (-8)/75*(0 - -4 - (-7072)/(-1088)). Are h and b nonequal?
True
Let j be (-41)/3444*12/(-9). Let h = 0 + -1. Is h < j?
True
Let y = -109 - -149. Let i be 5/2*y/(-17350). Are i and 1 non-equal?
True
Let j = 2.0603 - 1.9603. Are 4952 and j unequal?
True
Let s = 38 + -72. Let u = s - -36. Let k be u*((-35)/(-2) + -2). Does 32 = k?
False
Let d(u) = u**2 + 7*u - 2. Let r be d(-7). Let t be r/3 + (-5731)/(-8646). Is t bigger than -1?
True
Let z be ((-80)/200)/((-7)/35). Do 296 and z have different values?
True
Let t = 5749/992523 - 12/2191. Which is greater: t or 1?
1
Let t be (909 - 2) + -7 + 3. Suppose -t - 835 = -22*q. Is 77 > q?
False
Suppose -7*i + 416 = -179. Suppose i = 7*b + 36. Which is smaller: b or -7?
-7
Let b(m) = m**3 + 17*m**2 + 28*m - 25. Let u be b(-15). Let c be 426/(-30) - 4 - u. Are c and -22 equal?
False
Suppose 26*j = -36*j + 49*j - 6279. Which is greater: j or -478?
-478
Suppose 5*x + 3*z - 1455 = -2*z, -290 = -x - 2*z. Let q = x + -290. Which is smaller: q or 19/24?
19/24
Let d(a) = a**3 - 20*a**2 + 2*a + 32. Let o(k) = 14*k - 162. Let x be o(13). Let t be d(x). Do 70 and t have the same value?
False
Let d be (2/17)/2*2. Suppose v - 10 + 6 = 0. Suppose -v*n + 0 = -4. Which is smaller: d or n?
d
Let u be 1 - 4/4 - -2. Let r be 5 - -25 - (-3 - 2). Let b = 32 - r. Do u and b have different values?
True
Suppose 81 + 63 = 6*c. Suppose -2*v - c = 3*q + v, -3*v = 2*q + 12. Let r = q + 14. Which is bigger: 24/7 or r?
24/7
Let q be 1 + (-9)/((-774)/3927268). Let x = q - 7122430930/155961. Let u = 3/403 + x. Which is smaller: u or 0?
u
Let c(k) = -8*k**2 + 26*k - 105. Let z be c(12). Let u = 964 + z. Is u < 0?
False
Suppose -10*m = -88954 - 4177 - 37499. Which is bigger: m or 13062?
m
Suppose -k - 160 = -3*s, k - 8 = 3*k. Suppose -3*t = -q + 5*q - 160, -4*q = -t + 48. Is t at least as big as s?
True
Let h = -7081 - -7039. Let a(t) = -2*t**2 - 5*t - 1. Let p be a(-6). Is p equal to h?
False
Let x be 532/665 - (-18849)/(-23550). Which is bigger: x or 1?
1
Let r = 173 + -49. Suppose 4*d - r = -52. Let y be d/90*(1 + (-20)/22). Is 1 smaller than y?
False
Let q(d) = d**3 + 4*d**2 + d - 1. Let w be q(-4). Let x(v) = -19 - 10*v**3 + 3*v - 3*v + 11*v**3 - 5*v**2 + 3*v. Let p be x(5). Which is bigger: p or w?
p
Suppose 22*t - 17*t + 5 = 5*f, -f = 4*t - 1. Is f bigger than -1201?
True
Let i(s) = s**3 - 26*s**2 + 104*s - 351. Let h be i(22). Which is greater: -1262/21 or h?
h
Let a = -14 + 23. Let o = 5.791 + 0.009. Let q = 9.8 - o. Which is greater: q or a?
a
Suppose 0 = 17310*a - 17281*a + 189312. Is a greater than or equal to -6527?
False
Let u = 242.2 + -244. Let a = -1.76 - u. Which is bigger: a or -4?
a
Let o = 10 - 7. Suppose o = -3*b + 6. Let p = -1720/1287 + 167/117. Are b and p equal?
False
Let q = 364 - 363. Suppose -38*u = 5*j - 34*u - 3, -u - q = 3*j. Is 1/49 < j?
False
Suppose 21*y + 585 = 6906. Let j = -367 + y. Is -68 smaller than j?
True
Let t(n) = 5*n**2 - 35*n + 3. Let m be t(7). Let p(y) = -23*y + 69. Let k be p(m). Is -3/344 > k?
False
Let u = -51 - -57. Let a(d) = d**2 - d - 12. Let j be a(3). Which is smaller: u or j?
j
Let w = 168 - 165. Suppose 0 = -5*x + s + 4, -3*s + 6 = w*x - 0. Which is bigger: 2/123 or x?
x
Let c be ((-2)/(-3))/(2/(-6)). Let h be (c/6)/((-4)/3). Let x = -32.6805 - -1.6805. Is x <= h?
True
Let t = 1606 + -1650. Which is greater: t or -45?
t
Let c(a) = 5*a + 12*a - 18*a - 7 - a**2 + 6*a. Let q be c(3). Is -1/244 >= q?
True
Let q(m) = -4*m - 11. Let u be q(-4). Suppose -1090 = -l + 5*l + u*j, -3*j = -4*l - 1074. Let c be (18/(-70))/(7 - l/(-42)). Which is smaller: 1 or c?
c
Let m = 6120 + -8063. Do -1945 and m have the same value?
False
Let t = -1404245/111 + 12651. Let j = t - 3116/18537. Which is smaller: 1 or j?
j
Suppose 376 = -6*u + 352. Let l be 21/(-27) - 2/u. Is l smaller than 1?
True
Let k = 135 + -127. Let y(c) = -2*c**2 + 9*c - 1. Let j be y(k). Which is greater: j or -56?
-56
Let r = -99 - -312. Is r less than 213?
False
Let p be (-759)/6495 + ((-2)/20)/((-30)/60). Which is greater: 1 or p?
1
Let o = 1372 + -6932/5. Is o greater than -0.1?
False
Let h(t) = t**2 - 5*t - 29. Let p be h(9). Let x = p - -56. Suppose -2*q + 237 = -5*r, r + x - 18 = -2*q. Which is smaller: -46 or r?
r
Let c(x) = -38*x - 4750. Let u be c(-125). Which is smaller: u or 2/4171?
u
Let x(d) = -d**3 + 13*d**2 + 16*d - 25. Let v be x(14). Let t be (8/44)/(v/66). Does t = 5?
False
Suppose -3*o = 14*o - 4182. Let y be 2/(16/2) + o/8. Which is greater: 29 or y?
y
Let h = 78093.749 + -77716. Let k = h + -378. Which is smaller: k or 2/3?
k
Suppose -50*p + 159*p - 6660 = -76*p. Suppose 1 - 5 = -4*d. Let c be (-1)/(36/37 - d). Which is smaller: p or c?
p
Let h = -189 + 105. Let n = h - -29. Is n not equal to 1?
True
Suppose 0 = 5*y - 2*c - 11, 0 = 2*y - 2*c + 4*c + 4. Let h = -272185/524124 - -229/844. Let t = h + 4/23. Which is bigger: y or t?
y
Suppose -b + 5*b + 28 = 0. Let k be b/42 + (-15)/18. Let l be 5*8/(-4160)*-1. Is l > k?
True
Let n(z) = 1128*z - 6768. Let l be n(6). Which is greater: 8/1403 or l?
8/1403
Let i be (-1820)/(-1344) + 6/9. Let o = 5/16 + i. Which is bigger: 1/5 or o?
o
Let q(j) = j - 9. Let a be q(8). Let m be (-3283)/616 - -5 - 3/(-8). Is m >= a?
True
Let i(x) = -259*x**2 - 1024*x + 35. Let m be i(-4). Let z = 197/3 + -2185/33. Which is greater: z or m?
z
Let c be -1 - -1*(5 - 2). Suppose -201 = -c*z - 195. Suppose -2*h + 3*h - 10 = 0. Is h less than or equal to z?
False
Let a = 23 + -22. Let f be 2*a - (-5 + 70/